((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[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?

--Mark
Posted on the users mailing list.