You might be interested in Datomic. "Datomic embeds Datalog, a subset of Prolog, to move queries into the application." (http://www.infoq.com/news/2012/03/cloj

You might be interested in Datomic. "Datomic embeds Datalog, a subset of Prolog, to move queries into the application." (http://www.infoq.com/news/2012/03/clojure-west http://www.infoq.com/news/2012/03/clojure-west)