/simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

Primary LanguageScheme

simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

This is essentially a modernized, cleaned up version of the implementation in The Reasoned Schemer.