A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic

Relational version of parsing with derivatives code

explorations in core.logic

This project has moved:

An implementation of miniKanren in Haskell

Relational interpreter in miniKanren that can generate quines

Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.

an attempt to implement miniKanren and microKanren in Python

Slides and Demo for talk at EuroClojure 2012

Using logic programming (Clojure's core.logic) for test data manipulation and generation

Mímir is an experimental rule engine written in Clojure.

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

There's a function for that!

HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.

Starter Project for Introduction to Logic Programming with Clojure

A logic programming library for Clojure & ClojureScript