Hm, OK, I've just found this <https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer>, which seems to list the main differences between clojure core.logic and "Reasoned Schemer"
- *#s* is *s#* - *#u* is *u#* - Clojure core.logic's *conde* is actually the book's *condi*. Core.logic offers no *conde* as is presented in the book. This means the order of results may not match what is shown in the book when you use *conde*. - *conde* does not support defining an *else* clause. Just use a *(s# ...)* at the end of your *conde*. - Clojure has no way to create pairs (sequences with improper tails). The core.logic *lcons* constructor fn provides this behavior. *llist* is a convenience macro that expands out into nested *lcons* expressions. - *nullo* is *emptyo* - *nilo* unifies with nil - *caro* is *firsto* - *cdro* is *resto* Fair enough, that all seems good, BTW, what gives with symbolo? It doesn't seem to be present in clojure, either. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
