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.
David On Sun, Mar 25, 2012 at 4:59 PM, Reid Draper <reiddra...@gmail.com> wrote: > I've been playing around with core.logic and > have written a few things that don't seem to > terminate. My intuition says they should work, > but I imagine I'm either making a simple > mistake, or abusing something. > > I've written the question as a gist, > for better formatting > > https://gist.github.com/2199463 > > I'd appreciate any feedback, or tips > on how to debug issues like this. > > Thanks > > -- > 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 -- 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
