Constraint Handling Rules is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre in Munich, Germany. Wikipedia