Concurrent Goal-Based Execution of Constraint Handling Rules

2010/06/15 by Edmund S. L. Lam, Lam, Edmund S. L., Martin Sulzmann +1
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL

paper · pdf · doi:10.48550/arxiv.1006.3039

arxiv created 2010/06/20 · arxiv updated 2010/06/22

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.

Related

• Constraint Handling Rules - What Else?
• Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey
• Constraint Handling Rules with Multiset Comprehension Patterns
• Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report
• As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007