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.
