Moving the unification of `c` to the top of the run form worked, thanks.
Any thoughts on these questions, from the bottom of the gist:

1. How can I make the list of ingredients and cocktail names a set instead 
of a list (or at least a unique list)?
2. Is there a better way to describe the problem to answer a question like, 
"what list of N ingredients makes the most different cocktails?"

Thanks again.

On Monday, March 26, 2012 3:07:19 PM UTC-4, David Nolen wrote:
>
> 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

Reply via email to