As time goes by: Constraint Handling Rules

DOI10.1017/S1471068409990123zbMath1186.68096OpenAlexW2107415004WikidataQ60358210 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

zbMATH Keywords

surveyconstraint handling rules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (16)

Concurrent goal-based execution of Constraint Handling Rules ⋮ Parallelism, concurrency and distribution in constraint handling rules: A survey ⋮ 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 ⋮ Constraint handling rules with binders, patterns and generic quantification ⋮ Combining Forward and Backward Propagation ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ SMCHR: Satisfiability modulo constraint handling rules ⋮ 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 ⋮ Optimization of CHR Propagation Rules ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• HYPROLOG

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

This page was built for publication: As time goes by: Constraint Handling Rules