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.
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Scheme