Concurrent goal-based execution of Constraint Handling Rules

DOI10.1017/S147106841000044XzbMath1242.68051MaRDI QIDQ2884254

Edmund Soon Lee Lam, Martin Sulzmann

Publication date: 24 May 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

constraintsconcurrencymultiset rewriting

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

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

Cites Work

• Confluence and semantics of constraint simplification rules
• As time goes by: Constraint Handling Rules
• Unnamed Item