Clojure core.logic koans