Compiling constraints in clp(FD)

DOI10.1016/0743-1066(95)00121-2MaRDI QIDQ3129502zbMATH OpenOpenAlexFDO

Authors Philippe Codognet, Daniel Diaz

Publication date 1996

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(95)00121-2

zbMATH Keywords

clp(FD) system

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Reasoning on constraints in CLP(FD)
• Design, implementation, and evaluation of the constraint language cc(FD)
• Path consistency in clp(FD)
• Nicolog: A simple yet powerful \(\text{cc(FD)}\) language
• Constraint logic programming with polynomial constraints over finite domains

Cited in

(40)

• Repeated redundant inequalities in constraint logic programming
• Standard forms for rational linear arithmetic in constraint logic programming.
• Value constraints in the CLP scheme
• A comparative study of eight constraint programming languages over the Boolean and finite domains
• A microkernel architecture for constraint programming
• An analysis of arithmetic constraints on integer intervals
• Experiments with the ``Oregon Trail knapsack problem
• scientific article; zbMATH DE number 1696813 (Why is no real title available?)
• The Boolean constraint solver of SWI-Prolog (system description)
• A proposal for disequality constraints in Curry
• On the implementation of GNU Prolog
• Declarative compilation for constraint logic programming
• Procedural code generation vs static expansion in modelling languages for constraint programming
• Reasoning on constraints in CLP(FD)
• Design, implementation, and evaluation of the constraint language cc(FD)
• scientific article; zbMATH DE number 512883 (Why is no real title available?)
• scientific article; zbMATH DE number 549964 (Why is no real title available?)
• scientific article; zbMATH DE number 1950443 (Why is no real title available?)
• scientific article; zbMATH DE number 1950444 (Why is no real title available?)
• Using parametric set constraints for locating errors in CLP programs
• scientific article; zbMATH DE number 1497825 (Why is no real title available?)
• Constraint logic programming with polynomial constraints over finite domains
• scientific article; zbMATH DE number 2086599 (Why is no real title available?)
• Compiling finite domain constraints to SAT with BEE
• Lightweight compilation of (C)LP to JavaScript
• Design for AJACS, yet another Java constraint programming framework
• scientific article; zbMATH DE number 1420802 (Why is no real title available?)
• Path consistency in clp(FD)
• Structured learning modulo theories
• Constraint functional logic programming over finite domains
• Logic Programming
• Programming finite-domain constraint propagators in Action Rules
• scientific article; zbMATH DE number 970738 (Why is no real title available?)
• A CHR-based implementation of known arc-consistency
• Integrating operations research in constraint programming
• Nicolog: A simple yet powerful \(\text{cc(FD)}\) language
• Fifty Years of Prolog and Beyond
• Constraint retraction in FD
• Mechanically proving termination using polynomial interpretations
• The car sequencing problem: overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem

Describes a project that uses

Uses Software

• wamcc

This page was built for publication: Compiling constraints in clp(FD)

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