Hi Cev! Sorry for the confusion. My wording is confusing.
I think the part in bold parens can be dropped. The constraint states that if p is associated with 1, then r cannot be associated with 2. This is equivalent to stating that if r is associated with 2, then p cannot be associated with 1. I think this alternate explanation of the constraint is where the text in bold parens originally came from. Perhaps I had explained the constraint this other way, and forgot to remove the bold parens when I changed the description. I've updated the tutorial. Thanks for the question! --Will On Wed, Feb 8, 2017 at 7:58 AM, Cev Ing <[email protected]> wrote: > The miniKanren tutorial contains the following example > > > (run* (q) > > (fresh (p r) > > (=/= '(1 2) `(,p ,r)) > > (== `(,p ,r) q))) > > > which evaluates to > > > (((_.0 _.1) (=/= ((_.0 1) (_.1 2))))) > > > This is the explanation: > > The answer states that p and r are unbound, and that p cannot be associated > with 1 while r is associated with 2 (and the other way around). > > I do not understand the bold part in the parenthesis. Does this mean that > lists in miniKanren are position independent like sets? I can not see how > the evaluation result shows the "other way around" statement. For me the > result shows that the first value is bound to 1 and the second to 2 and not > the other way around. Can anybody explain? > > -- > 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 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.
