C

chr-curry

A library to implement Constraint Handling Rules in Curry