Constraint Handling Rules

Constraint Handling Rules

The definitive reference on Constraint Handling Rules, from the creator of the language.
Sign up to use