Theory and practice of constraint handli
✍
Thom Frühwirth
📂
Article
📅
1998
🏛
Elsevier Science
🌐
English
⚖ 343 KB
Constraint Handling Rules (CHR) are our proposal to allow more ¯exibility and application-oriented customization of constraint systems. CHR are a declarative language extension especially designed for writing user-de®ned constraints. CHR are essentially a committedchoice language consisting of multi