[plt-scheme] Reasoned Schemer - miniKanren

From: Mark Engelberg (mark.engelberg at gmail.com)
Date: Thu May 29 22:35:52 EDT 2008

So I'm trying out some of the examples in Reasoned Schemer, using the
miniKanren on the Scheme planet, but it doesn't seem to work right.
The miniKanren, contrary to the book, doesn't understand succeed or
fail (#s or #f), so I fail to see how to get this to work.

What am I missing?


Posted on the users mailing list.