CHR
This package provides an implementation of Constraint Handling Rules in Curry.
Detailed package documentation (available shortly after this version has been published)