Added logic programming with clojure