core.logic

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

  None

Why we need disequality pruning in updatec:

(run* [q]
           (fresh [x y z]
             (!= x [y])
             (== x [z])
             (== y 'foo)
             (== z 'bar)))

Instead of returning just '(_0), this snippet returns '((_0 :- (!= ([bar] [foo])))).

1. 

   diseq-pruning.diff

   04/Jan/13 1:02 PM

   2 kB

   Nada Amin

• Assignee:

  David Nolen

  Reporter:

  Nada Amin

• Created:

  04/Jan/13 12:19 PM

  Updated:

  04/Jan/13 1:13 PM

  Resolved:

  04/Jan/13 1:13 PM