Corpus ID: 15067916

Constraint Hierarchies and Logic Programming

@inproceedings{Borning1989ConstraintHA,
  title={Constraint Hierarchies and Logic Programming},
  author={A. Borning and Michael J. Maher and Amy Martindale and M. Wilson},
  booktitle={ICLP},
  year={1989}
}

A. Borning, Michael J. Maher, +1 author M. Wilson

Published in ICLP 1989

Computer Science

Constraint Logic Programming (CLP) is a general scheme for extending logic programming to include constraints. It is parameterized by D, the domain of the constraints. However, CLP(D) languages, as well as most other constraint systems, only allow the programmer to specify constraints that must hold. In many applications, such as interactive graphics, page layout, and decision support, one needs to express preferences as well as strict requirements. If we wish to make full use of the constraint… CONTINUE READING

Save to Library

Create Alert

Cite

Launch Research Feed