Lecture Notes in Computer Science vol:5366 pages:9-10
Inernational Conference on Logic Programming edition:24 location:Udine, Italy date:9-13 December 2008
Constraint Handling Rules (CHR) is a high-level programming
language based on multi-headed, committed-choice, guarded multiset rewrite rules. Originally designed in 1991 by Fruehwirth for the particular purpose of adding user-defined constraint solvers to a host-language, CHR has matured over the last decade to a powerful and elegant general-purpose language with a wide spectrum of application
This tutorial intends to make the attendants aware of CHR's strengths as a programming language, and teaches them when and how to apply CHR for small to medium sized problems.
Abstract of tutorial at the 24th International Conference on Logic Programming (ICLP 2008).