core.logic

• Type: Defect
• Status: Resolved
• Priority: Blocker
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

This snippet wrongly succeeds with the result:

(([foo _0] :- (!= (foo _0))))

(run* [q]
      (nom/fresh [a b]
        (fresh [x y]
          (!= x y)
          (== (nom/tie a (nom/tie b [b y])) (nom/tie b (nom/tie a [a x])))
          (== x 'foo)
          (== [x y] q))))

Moving the disequality anywhere further down makes the snippet rightly fail.

1. 

   diseq.diff

   04/Jan/13 11:18 AM

   4 kB

   Nada Amin

• Assignee:

  David Nolen

  Reporter:

  Nada Amin

• Created:

  04/Jan/13 5:16 AM

  Updated:

  04/Jan/13 11:23 AM

  Resolved:

  04/Jan/13 11:23 AM