Constraint programming viewed as rule-based programming

DOI10.1017/S1471068401000072MaRDI QIDQ4452648zbMATH OpenOpenAlexFDO

Authors Krzysztof R. Apt, Eric Monfroy

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068401000072

zbMATH Keywords

finite domainrule consistency

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1487976
• Constraint solving with constraint handling rules
• scientific article; zbMATH DE number 1337859
• scientific article; zbMATH DE number 1975616
• Automatic generation of rule-based constraint solvers over finite domains

Cited in

(9)

• scientific article; zbMATH DE number 2080296 (Why is no real title available?)
• Handling relations over finite domains in the rule-based system ELAN
• Programming finite-domain constraint propagators in Action Rules
• Generating custom propagators for arbitrary constraints
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• scientific article; zbMATH DE number 1975616 (Why is no real title available?)
• Schedulers and redundancy for a class of constraint propagation rules
• Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
• On rule systems whose consistency can be locally maintained

Describes a project that uses

Uses Software

• CLAIRE

This page was built for publication: Constraint programming viewed as rule-based programming

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