A Logic Programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming and constraint logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations as well as the extensions described in cKanren.