Clojure Programming in Logic