Merge pull request #1 from MitchellJThomas/master

Sharing my research/learning on core.logic
Merge remote-tracking branch 'upstream/master'
Playing with permuteo and breaking down subseto