

Working on unconfusing myself on CHR/Prolog interaction.
Here is some reading of interest:
Abductive reasoning in Prolog and CHR A short introduction for the KIIS course, autumn 2005
Did you know ... | Search Documentation: |
![]() | CHR: Constraint Handling Rules |
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://dtai.cs.kuleuven.be/CHR/) you can find more related papers, references and example programs.
Working on unconfusing myself on CHR/Prolog interaction.
Here is some reading of interest:
Abductive reasoning in Prolog and CHR A short introduction for the KIIS course, autumn 2005
I found the official docs for CHR sufficiently difficult to puzzle out for this poor non mathematician that I wrote a tutorial.