Constraint Handling Rules
Encyclopedia : C : CO : CON : Constraint Handling Rules
Constraint Handling Rules (CHR) is a concurrent, declarative programming language for developing constraint programming systems. CHR was created by Thom Frühwirth in 1991.
CHR is not commonly used as a programming language in its own right. Rather, it is used to extend a host language with constraint handling. Current host languages include Prolog, Java and Haskell. CHR is included in many Prolog implementations, including SICStus and SWI-Prolog.
A CHR program, sometimes called a constraint handler, is a set of rules for simplification, propagation and "simpagation" (simultaneous simplification and propation) of constraints.
External links
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.