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.
