Micro-Kanren

Here's a very simple implementation of Kanren that gives the barest minimum to get the taste of logic programming in very simple Scheme.

I am told that the code was written in about three hours at the meeting of a Functional Programming Group (Toukyou/Shibuya, Apr 29, 2006), as a quick illustration of logic programming.

The code is very easy to read, and the comments are instructive and helpful.

Enjoy!

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

They actually published a

They actually published a paper on MicroKanren. The MiniKanren site is also worth perusing.