Update to core.logic 0.8.5.
Start out translating an old Prolog solution to core.logic.
kata6: add permutation in core.logic
kata6: broken non-matching permutation version
Fix no-match permutation version by using the matching inserto predicate.
Remove dummy anagram function/test.
Add anagram for use core.logic permutation solution.
[kata6] Fix the non-matching insert and use it with non-matching permutation.