ciao-lang / ciao_chr

Leuven CHR System ported to Ciao

CHR for Ciao

This is a port of the Leuven CHR System (Tom Schrijvers et al.) for Ciao.

Please consult Constraint Handling Rules for more information about CHR.