As time goes by: Constraint Handling Rules
From MaRDI portal
Publication:3400960
DOI10.1017/S1471068409990123zbMath1186.68096WikidataQ60358210 ScholiaQ60358210MaRDI QIDQ3400960
Leslie de Koninck, Tom Schrijvers, Jon Sneyers, Peter van Weert
Publication date: 28 January 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068409990123
Related Items
Parallelism, concurrency and distribution in constraint handling rules: A survey, Constraint handling rules with binders, patterns and generic quantification, SMCHR: Satisfiability modulo constraint handling rules, Optimization of CHR Propagation Rules, On proving confluence modulo equivalence for Constraint Handling Rules, Models and emerging trends of concurrent constraint programming, Concurrent goal-based execution of Constraint Handling Rules, On Termination, Confluence and Consistent CHR-based Type Inference, Confluence Modulo Equivalence in Constraint Handling Rules, Exhaustive Execution of CHR Through Source-to-Source Transformation, Combining Forward and Backward Propagation, CHR(PRISM)-based probabilistic logic learning, A complete and terminating execution model for Constraint Handling Rules, Decidability properties for fragments of CHR, CHR for Imperative Host Languages, Guard Reasoning in the Refined Operational Semantics of CHR
Uses Software
Cites Work
- Unnamed Item
- Confluence and semantics of constraint simplification rules
- A compositional semantics for CHR
- Understanding functional dependencies via constraint handling rules
- Optimal union-find in Constraint Handling Rules
- Constraint Handling Rules
- The Munich Rent Advisor: A success for logic programming on then Internet
- Opium: an extendable trace analyzer for Prolog
- Automatic generation of rule-based constraint solvers over finite domains
- Principal Type Inference for GHC-Style Multi-parameter Type Classes
- A Unified Semantics for Constraint Handling Rules in Transaction Logic