Concurrent goal-based execution of constraint handling rules

DOI10.1017/S147106841000044XMaRDI QIDQ2884254zbMATH OpenFDO

Authors Edmund S. L. Lam, Martin Sulzmann

Publication date 24 May 2012

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

Full work available at URL https://doi.org/10.1017/S147106841000044X

zbMATH Keywords

concurrencyconstraintsmultiset rewriting

Mathematics Subject Classification ID

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

Recommendations

• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Transactions in Constraint Handling Rules
• Advances in constraint handling rules.
• Welcome to Constraint Handling Rules
• Theory and practice of constraint handling rules

Cites work

• As time goes by: constraint handling rules
• Confluence and semantics of constraint simplification rules
• scientific article; zbMATH DE number 43232 (Why is no real title available?)

Cited in

(5)

• A complete and terminating execution model for constraint handling rules
• An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Transactions in Constraint Handling Rules
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: Concurrent goal-based execution of constraint handling rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884254)