Constraint Handling Rules

Constraint Handling Rules is a logic and declarative programming language that first appeared in 1991.

Paradigm
Logic and declarative
First appeared
1991
Reference
Wikipedia article