> This probably just shows my naivety,  but what do you mean unifying c
> earlier? The order of forms in a `run` clause don't matter, right?

There's an explanation of it in the talk that Friedman and Byrd gave
at the Conj:
http://blip.tv/clojure/dan-friedman-and-william-byrd-minikanren-5936333

jack.

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to