Chapter 14 Implementing Constraints
This chapter describes how to use ECLiPSe's advanced control
facilities for implementing constraints.
Note that the Generalised Propagation library lib(propia) and
the Constraint Handling Rules library lib(ech) provide other,
higher-level ways to implement constraints. Those are more
suited for prototyping, while this chapter introduces those low-level
primitives that are actually used in the implementation of the various
ECLiPSe constraint solvers.