Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

file 71 lines (47 sloc) 2.739 kb

core.logic

A Logic Programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming and constraint 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.

If you wish to work through The Reasoned Schemer with core.logic make sure to look over this first.

If you're interested in using core.logic from ClojureScript look here.

For more information & documentation please consult the wiki.

YourKit

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-beta2

Latest stable release: 0.7.5

Leiningen dependency information:

[org.clojure/core.logic "0.7.5"]

Maven dependency information:

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>core.logic</artifactId>
  <version>0.7.5</version>
</dependency>

Example usage

(use 'clojure.core.logic)

(run* [q]
  (== q true))  
;;=> (true)

Developer information

Copyright and license

Copyright © 2010-2012 David Nolen, Rich Hickey & contributors.

Licensed under the EPL (see the file epl.html).

Something went wrong with that request. Please try again.