Advances in constraint handling rules.

MaRDI QIDQ3549510zbMATH OpenFDO

Authors Marc Meister

Publication date 30 December 2008

zbMATH Keywords

efficient constraint programmingoverstrained predicate logic declarative semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Theory and practice of constraint handling rules
• Constraint solving with constraint handling rules
• A Linear-Logic Semantics for Constraint Handling Rules
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Logic Programming

Cited in

(3)

• Constraint Handling Rules. Current research topics
• Concurrent goal-based execution of constraint handling rules
• Constraint Handling Rules

This page was built for publication: Advances in constraint handling rules.

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