Previous Up Next

Chapter 14  Implementing Constraints



This chapter describes how to use ECL
iPSe'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.


Previous Up Next