Previous Up Next

Chapter 8  The Constraint Handling Rules Library



The chr library implements constraint handling rules (CHRs). It includes a compiler, which translates CHR programs into ECLiPSe programs, and a runtime system. Several constraint handlers are provided in example files in the directory chr.

The current chr library has now been modified to function correctly without the Opium debugger, which is no longer supported. In addition, the Prolog code produced by the chr command is now more readable.

In addition, there is now an experimental extended implementation of CHRs. This extended implementation is faster than the existing chr library, and contains some extensions and changes. This is described in section 8.9.




Previous Up Next