25 points•0 comments•1d ago•by tosh•github.com ↗

core.logic

core.logic is a logic programming library for Clojure and ClojureScript that offers Prolog-like relational programming, constraint logic programming, and nominal logic programming. It contains an original miniKanren implementation and references related work, with the latest stable release listed as 1.1.1 and dependency information for Maven, Leiningen, and CLI. The project notes its differences from core.unify and mentions YourKit profiling under the EPL license.

Discussion (0)

No comments yet

Top
Trending
New
For You
Bookmarks
Dossier