Constraint Handling Rules

Paradigms	declarative programming, constraint logic programming
First appeared	1991
Type	constraint programming language, rule-based language
Influenced by	Prolog