core.logic

disequality pruning

Details

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

Description

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])))).

Activity

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: