Compiling constraints in clp(FD)

DOI10.1016/0743-1066(95)00121-2zbMATH Open0874.68054OpenAlexW1982482731MaRDI QIDQ3129502FDOQ3129502

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

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

zbMATH Keywords

clp(FD) system

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (30)

• Path consistency in clp(FD)
• Constraint retraction in FD
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanically proving termination using polynomial interpretations
• 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
• Fifty Years of Prolog and Beyond
• Constraint logic programming with polynomial constraints over finite domains
• Title not available (Why is that?)
• Constraint functional logic programming over finite domains
• Structured learning modulo theories
• Procedural code generation vs static expansion in modelling languages for constraint programming
• A microkernel architecture for constraint programming
• Integrating operations research in constraint programming
• Compiling finite domain constraints to SAT with BEE
• Title not available (Why is that?)
• The Boolean constraint solver of SWI-Prolog (system description)
• A proposal for disequality constraints in Curry
• Title not available (Why is that?)

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)