> I think that all answers like `X such that X is not equal X` should be
> considered wrong.
I too believe implementations of miniKanren should have that behavior.
> (run 1 (q) (=/= q q))
()
I think I understand this program to be doing something different. This is
closer I would say to an answer like X and Y such that X is not equal to Y.
> (run* (q)
(fresh (x y)
(== q `(,x ,y))
(=/= x y)))
Am I misinterpreting your comment/suggestion?
JBH
On Wed, May 3, 2017 at 1:10 PM, Kakadu <[email protected]> wrote:
> 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.
>
--
JBH
--
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.
