Sure. I have added fd/in for all vars involved in fd operations and the problem persists. I uploaded the new code to JIRA. See if it helps. Thanks.
Regards, Mauro On Wednesday, March 5, 2014 12:18:23 PM UTC-3, David Nolen wrote: > > So I took a closer look at this and noticed that you're not using fd/in in > all the locations where you create fresh vars and then apply finite domain > operation on them. This is not correct. > > Can you fix your code and then let us know if the problem continues to > persist? > > Thanks, > David > > > On Sat, Feb 22, 2014 at 7:48 PM, Mauro Lopes <[email protected]<javascript:> > > wrote: > >> Done. Ticket is at http://dev.clojure.org/jira/browse/LOGIC-156 >> Thanks, David. >> >> On Saturday, February 22, 2014 9:01:54 PM UTC-3, David Nolen wrote: >> >>> Sounds like a bug, please file a bug in JIRA with this code and I will >>> take a look. Thanks! >>> >>> David >>> >>> >>> On Sat, Feb 22, 2014 at 5:53 PM, Mauro Lopes <[email protected]> wrote: >>> >>>> Hello everyone, >>>> >>>> I am new to core.logic but have been using it for the past few days >>>> (version 0.8.7). >>>> I have found a behavior that seems strange to me. I have written a >>>> search (run*) that does not always return the same set of results if I run >>>> it a few times with the same input. Not even the number of results is the >>>> same. Can that somehow be the right thing to expect? Maybe I have >>>> misunderstood some basic concept, so please clarify what is going on. >>>> >>>> I have simplified my program to the minimum version I could find that >>>> still shows this behavior. Here is the gist: >>>> gist.github.com/maurolopes/9163407 >>>> >>>> Thanks! >>>> >>>> -- >>>> 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 http://groups.google.com/group/minikanren. >>>> For more options, visit https://groups.google.com/groups/opt_out. >>>> >>> >>> -- >> 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] <javascript:>. >> To post to this group, send email to [email protected]<javascript:> >> . >> Visit this group at http://groups.google.com/group/minikanren. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- 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 http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/groups/opt_out.
