A CHR-based Implementation of Known Arc-Consistency

Marco Alberti, Marco Gavanelli, Evelina Lamma +2

In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…