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 alphaKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.
For more information & documentation please consult the wiki.
YourKit has given an open source license for their profiler, greatly simplifying the profiling of core.logic performance.
YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products:
Releases and dependency information
Latest beta: 0.8.0-beta5
Latest stable release: 0.7.5
Leiningen dependency information:
Maven dependency information:
<dependency> <groupId>org.clojure</groupId> <artifactId>core.logic</artifactId> <version>0.7.5</version> </dependency>
(use 'clojure.core.logic) (run* [q] (== q true)) ;;=> (true)
Copyright and license
Copyright © 2010-2012 David Nolen, Rich Hickey & contributors.
Licensed under the EPL (see the file epl.html).