10.8 Constraint Handling Rules—library(chr)

This section is written by Tom Schrijvers, K.U. Leuven, and adjustments by Jan Wielemaker.

The CHR system of SICStus Prolog is the K.U.Leuven CHR system. The runtime environment is written by Christian Holzbaur and Tom Schrijvers while the compiler is written by Tom Schrijvers. Both are integrated with SICStus Prolog and licensed under compatible conditions with permission from the authors.

The main reference for the CHR system is [Schrijvers & Demoen 04].

• CHR Introduction
• CHR Syntax and Semantics
• CHR in Prolog Programs
• CHR Debugging
• CHR Examples
• CHR Guidelines