Why is CLP(FD) Faster than Prolog?

• Propagation:When a variable in a constraint is updated, those no-good values are excluded from the domains of the other variables to make the constraint consistent.

• Consistency

  • Node consistent
    • x in X p(x)
  • Arc consistent
    • x in XEy in Yp(x,y)

Previous slide

Next slide

Back to first slide

View graphic version