|Number of watchers on Github||1085|
|Number of open issues||1|
|Average time to merge a PR||less than a minute|
|Open pull requests||1+|
|Closed pull requests||15+|
|Last commit||about 2 years ago|
|Repo Created||about 8 years ago|
|Repo Last Updated||over 1 year ago|
|Organization / Author||clojure|
|Do you use core.logic? Leave a review!|
|View core.logic activity|
|View on github|
|Fresh, new opensource launches 🚀🚀🚀|
Trendy new open source projects in your inbox! View examples
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.
Latest stable release: 0.8.11
Leiningen dependency information:
Maven dependency information:
<dependency> <groupId>org.clojure</groupId> <artifactId>core.logic</artifactId> <version>0.8.11</version> </dependency>
(use 'clojure.core.logic) (run* [q] (== q true)) ;;=> (true)
Assuming you have V8 installed from source:
lein cljsbuild once adv d8 resources/tests.js
If you have another JS engine installed use that instead.
For more information & documentation please consult the wiki.
core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if you have no need for a logic programming system, core.unify may be a better fit.
YourKit has given an open source license for their profiler, greatly simplifying the profiling of core.logic performance.
YourKit supports open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of YourKit Java Profiler and YourKit .NET Profiler, innovative and intelligent tools for profiling Java and .NET applications.
Copyright 2010-2016 David Nolen, Rich Hickey & contributors.
Licensed under the EPL (see the file epl.html).