Antimonotony-based delay avoidance for CHR
Tom Schrijvers, Bart Demoen · Lirias (KU Leuven) · 2004
We present an optimisation for Constraint Handling Rules (CHR) that reduces the amount of variables a constraint delays on. This optimisation reduces the overhead of delaying on variables as well as the needless reawakening of delayed constraint. A correctness proof of the optimisation based on the refined operational semantics establishes the validity of the optimisation and sheds light on possible extensions as well as related optimisations. The delay avoidance optimisation shows good speedups for some programs and no noticable slowdown for others.