This chapter is written by Tom Schrijvers, K.U. Leuven, and adjustments by Jan Wielemaker.
The CHR system of SWI-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 SWI-Prolog and licensed under compatible conditions with permission from the authors.
The main reference for the K.U.Leuven CHR system is:
On the K.U.Leuven CHR website (http://www.cs.kuleuven.be/\~{}toms/CHR/) you can find more related papers, references and example programs.