On Mon, Mar 26, 2012 at 2:49 PM, Reid Draper <reiddra...@gmail.com> wrote:
> > > On Sunday, March 25, 2012 11:07:33 PM UTC-4, David Nolen wrote: >> >> I'll try to take a closer look soon - but first, did you try unifying c >> earlier? You have to be careful with recursive goals and fresh vars. > > 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? > They *mostly* don't. One unfortunate flaw in the miniKanren system is that recursive calls generally need to come last. I suspect this problem will be less common when we get to cKanren. David -- 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
