Concurrent Goal-Based Execution of Constraint Handling Rules
Programming Languages
2010-06-22 v2
Abstract
(To appear in Theory and Practice of Logic Programming (TPLP)) 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.
Keywords
Cite
@article{arxiv.1006.3039,
title = {Concurrent Goal-Based Execution of Constraint Handling Rules},
author = {Edmund S. L. Lam and Martin Sulzmann},
journal= {arXiv preprint arXiv:1006.3039},
year = {2010}
}