Compiling Constraints in clp(FD)

@article{Codognet1996CompilingCI,
  title={Compiling Constraints in clp(FD)},
  author={Philippe Codognet and Daniel Diaz},
  journal={J. Log. Program.},
  year={1996},
  volume={27},
  pages={185-226}
}
We present the clp(FD) system: a Constraint Logic Programming language with finite domain constraints. We detail its implementation and present an abstract instruction set for the constraint solver that can be smoothly integrated into the WAM architecture. It is based on the use of a single primitive constraint X in r that embeds the core propagation mechanism. Complex user constraints such as linear equations or inequations are compiled into X in r expressions that encode the propagation… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS