Skip to content

Latest commit

 

History

History
44 lines (25 loc) · 1.25 KB

README.md

File metadata and controls

44 lines (25 loc) · 1.25 KB
Raw

clr.core.logic

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.

Usage

See the website listed above.

Releases

Latest stable release: 1.1.0

clj dependency information:

io.github.clojure/clr.core.logic {:git/tag "v1.1.0" :git/sha "46b6ed4"}

Nuget reference:

    PM> Install-Package clojure.core.logic -Version 1.1.0

Leiningen/Clojars reference:

   [org.clojure.clr/core.logic "1.1.0"]

License

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).