I think that all answers like `X such that X is not equal X` should be considered wrong.
On Wed, May 3, 2017 at 7:59 PM, William Byrd <[email protected]> wrote: > Hi Dmitrii! > > I believe that this is the correct, simplified answer. What answer > did you expect? > > Cheers, > > --Will > > On Wed, May 3, 2017 at 10:40 AM, Dmitrii Kosarev > <[email protected]> wrote: >> Hey, folks >> >> I'm studying faster-miniKanren and it seems that I found a program where the >> result answer seems to be wrong. It is probably related to the occurs check >> in the constraints implementation... Can you look, please? >> >> Happy hacking, >> Dmitrii >> >> (display >> (run* (q) >> (fresh (x y) >> (== q `(,x ,y)) >> (=/= x y) >> (=/= y x) >> ))) >> >> ; (((_.0 _.1) (=/= ((_.0 _.1))))) >> >> >> -- >> 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 https://groups.google.com/group/minikanren. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to a topic in the Google > Groups "minikanren" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/minikanren/7DSQF1A9w3w/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
