You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal 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](http://pqdtopen.proquest.com/#abstract?dispub=3380156) as well as the extensions described in [cKanren](http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf) and [alphaKanren](http://www.cs.indiana.edu/~webyrd/alphamk/alphamk.pdf). It is designed to be easily extended to forms of logic programming beyond the ones provided.
A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal 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](http://pqdtopen.proquest.com/#abstract?dispub=3380156) as well as the extensions described in [cKanren](http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf) and [αKanren](http://www.cs.indiana.edu/~webyrd/alphamk/alphamk.pdf). It is designed to be easily extended to forms of logic programming beyond the ones provided.
