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

(30)

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

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)