Chapter 15 Propia and CHR
Two Ways of Specifying Constraint Behaviours
The Role of Propia and CHR in Problem Modelling
Propia
How to Use Propia
Propia Implementation
Propia and Related Techniques
CHR
How to Use CHR
Multiple Heads
A Complete Example of a CHR File
CHR Implementation
Global Reasoning
Propia and CHR Exercise