Some play with clojure.core.logic