A port of clojure/core.logic library to ClojureCLR.
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 as well as the extensions described in cKanren and αKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.
See the website listed above.
Nuget reference:
PM> Install-Package clojure.core.logic -Version 1.0.1
Leiningen/Clojars reference:
[org.clojure.clr/core.logic "1.0.1"]
Distributed under the Eclipse Public License, the same as Clojure.
Original ClojureJVM code says:
Copyright © 2010-2020 David Nolen, Rich Hickey & contributors.
Licensed under the EPL (see the file epl.html).