Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Abstract Concurrent Constraint Programming (CCP) has been used over the last two
decades as an elegant and expressive model for concurrent systems. It models systems of …

Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …

We present HYPROLOG, a novel integration of Prolog with assumptions and abduction
which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) …

LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph
rewriting that uses logical variables to represent connectivity and membranes to represent …

This paper introduces CHRrp: Constraint Handling Rules with user-definable rule priorities.
CHRrp offers flexible execution control which is lacking in CHR. A formal operational …

While it is generally agreed-upon that certain classes of CHR states should be considered
equivalent, no standard definition of equivalence has ever been established. Furthermore …

One of the attractive features of the Constraint Handling Rules (CHR) programming
language is its declarative semantics where rules are read as formulae in first-order …

In previous work, we proposed a logic-based framework in which computation is the
execution of actions in an attempt to make reactive rules of the form if antecedent then …