About CHR - Constraint Handling Rules
CHR - Constraint Handling Rules- Home page of the CHR hosted constraint logic programming language. CHR is a toolkit for in effect building constraint solvers. It is most commonly hosted on Prolog but Java-, Haskell- and even C-hosted versions are available.
