Not currently logged in. Login now.

Library

Name:core.logic
Subcategory:General
License:Eclipse Public License
Description:
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.
Maven Group and Artifact Id:[org.clojure/core.logic "version"]
Date Added:2012-10-26 23:35:15
Date Changed:2012-10-26 23:38:48