Concurrent goal-based execution of Constraint Handling Rules
Edmund S. L. Lam, Martin Sulzmann · Theory and Practice of Logic Programming · 2010
Abstract We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR) based on a previously proposed sequential goal-based CHR semantics. We establish strong correspondence results to the abstract CHR semantics, thus guaranteeing that any answer in the concurrent, goal-based CHR semantics is reproducible in the abstract CHR semantics. Our work provides the foundation to obtain efficient, parallel CHR execution schemes.