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]> 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]. > 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]. 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.
