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