Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

Thom Fruehwirth

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rul…