Constraint handling rules and tabled execution

DOI10.1007/978-3-540-27775-0_9MaRDI QIDQ5313215zbMATH OpenOpenAlexFDO

Authors Tom Schrijvers, David S. Warren

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming
• TCHR: a framework for tabled CLP
• Theory and practice of constraint handling rules
• scientific article; zbMATH DE number 7047281
• Logic Programming

Cited in

(14)

• A system of tabled constraint logic programming
• TCHR: a framework for tabled CLP
• Constraint Handling Rules
• scientific article; zbMATH DE number 1497838 (Why is no real title available?)
• scientific article; zbMATH DE number 4114106 (Why is no real title available?)
• Description, implementation, and evaluation of a generic design for tabled CLP
• Quantified constraint handling rules
• SCLP for Trust Propagation in Small-World Networks
• Attributed Data for CHR Indexing
• Logic Programming
• Optimization of CHR Propagation Rules
• Integration and optimization of rule-based constraint solvers
• Fifty Years of Prolog and Beyond
• Quantified constraint handling rules

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Constraint handling rules and tabled execution

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