2018
DOI: 10.1017/s1471068418000078
|View full text |Cite
|
Sign up to set email alerts
|

Parallelism, concurrency and distribution in constraint handling rules: A survey

Abstract: Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules can be applied to the constraints in parallel. In this comprehensive survey, we give an overview of the concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2020
2020
2020
2020

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 39 publications
0
1
0
Order By: Relevance
“…An alternative rule-based approach uses rules to define predicates, as in the logic programming language Prolog and its variants, including in some cases domainspecific constraint solvers or special-purpose languages to handle constraints [17]. The multi-paradigm language Claire [7] combines the imperative, functional and object-oriented styles with rule processing capabilities, including constructs to create new branches in the search-tree and to backtrack if the current branch fails.…”
Section: Related Workmentioning
confidence: 99%
“…An alternative rule-based approach uses rules to define predicates, as in the logic programming language Prolog and its variants, including in some cases domainspecific constraint solvers or special-purpose languages to handle constraints [17]. The multi-paradigm language Claire [7] combines the imperative, functional and object-oriented styles with rule processing capabilities, including constructs to create new branches in the search-tree and to backtrack if the current branch fails.…”
Section: Related Workmentioning
confidence: 99%