CHR (Constraint Handling Rules)
en.wikipedia.org