Guard Simplification in CHR programs

Constraint Handling Rules (CHR) is a high-level language commonly used to write constraint solvers. Most CHR programs depend on the refined operational semantics, obfuscating their logical reading and causing di#erent (termination) behavior under the theoretical operational semantics. We introduce a source to source transformation called guard simplification which allows CHR programmers to write selfdocumented rules with a clear logical reading. Performance is improved by removing guards entailed by the implicit "no earlier (sub)rule fired" precondition and optional type and mode declarations. A formal description of the transformation is given, its implementation in the K.U.Leuven CHR compiler is presented and experimental results are discussed