Differences from The Reasoned Schemer

Jump to bottom Edit New page

swannodette edited this page May 28, 2011 · 20 revisions

The following are the most important differences from version of miniKanren described in The Reasoned Schemer.

#s is s#
#u is u#
fresh is exist
conde is actually condi. There is no conde as is presented in the book.
the run interface returns a lazy-sequence not a list