As time goes by: constraint handling rules

DOI10.1017/S1471068409990123MaRDI QIDQ3400960zbMATH OpenOpenAlexWikidataFDO

Authors Jon Sneyers, Peter van Weert, Tom Schrijvers, Leslie De Koninck

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)

Recommendations

• Theory and practice of constraint handling rules
• Logic Programming
• Welcome to Constraint Handling Rules
• Constraint solving with constraint handling rules
• Constraint Handling Rules

Cites work

• scientific article; zbMATH DE number 1179344 (Why is no real title available?)
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• A compositional semantics for CHR
• Automatic generation of rule-based constraint solvers over finite domains
• Confluence and semantics of constraint simplification rules
• Constraint Handling Rules
• Opium: an extendable trace analyzer for Prolog
• Optimal union-find in Constraint Handling Rules
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• The Munich Rent Advisor: A success for logic programming on then Internet
• Understanding functional dependencies via constraint handling rules

Cited in

(18)

• Concurrent goal-based execution of constraint handling rules
• CHR for Imperative Host Languages
• Welcome to Constraint Handling Rules
• On termination, confluence and consistent CHR-based type inference
• Confluence modulo equivalence in Constraint Handling Rules
• SMCHR: satisfiability modulo constraint handling rules
• A complete and terminating execution model for constraint handling rules
• Combining forward and backward propagation
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Models and emerging trends of concurrent constraint programming
• Constraint solving with constraint handling rules
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Optimization of CHR Propagation Rules
• On proving confluence modulo equivalence for Constraint Handling Rules
• Decidability properties for fragments of CHR
• CHR(PRISM)-based probabilistic logic learning
• Constraint handling rules with binders, patterns and generic quantification
• Guard Reasoning in the Refined Operational Semantics of CHR

Describes a project that uses

Uses Software

• HYPROLOG

This page was built for publication: As time goes by: constraint handling rules

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