Constraint Handling Rules

Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany. Originally intended for constraint programming, CHR finds applications in grammar induction, type systems, abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing, and verification. Wikipedia

Created Year: 1991
Aliases: CHR

Wikidata: Q5164373

Influenced by: Prolog

Programming paradigms: constraint logic programming • declarative programming

Language types: constraint programming language • rule-based language