Core.logic (Clojure Library)

Interview with Ryan Senior (author of the library): <a href="http://www.infoq.com/presentations/core-logic" rel="nofollow">http://www.infoq.com/presentations/core-logic</a>