Corpus ID: 15067916

Constraint Hierarchies and Logic Programming

  title={Constraint Hierarchies and Logic Programming},
  author={A. Borning and Michael J. Maher and Amy Martindale and M. Wilson},
  • 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
    156 Citations
    Hierarchical Constraint Logic Programming
    • 141
    • PDF
    An Efficient Algorithm of Logic Programming with Constraint Hierarchy
    • 3
    • Highly Influenced
    Preference Logic Programming
    • 59
    • PDF
    A Plug-In Architecture of Constraint Hierarchy Solvers1
    • 7
    • Highly Influenced
    • PDF
    The CLP(OIH) Language
    • 2
    • PDF
    Relaxation in Constraint Logic Languages
    • 2
    Logic Programming with Preferences and Constraints
    • Highly Influenced


    The definition and implementation of a computer programming language based on constraints
    • 274
    The DeltaBlue algorithm: an incremental constraint hierarchy solver
    • B. Freeman-Benson, J. Maloney
    • Computer Science
    • Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings
    • 1989
    • 36
    Constraint hierarchies
    • 168
    CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions
    • 511
    • PDF
    Machine Tongues X: Constraint Languages
    • 18
    Objects in Concurrent Logic Programming Languages
    • 17
    Algebraic constraints
    • 105
    • PDF
    A High-Level Language for Specifying Pictures
    • 107
    Constraint-Based Tools for Building User Interfaces
    • 235
    On Inheritance Hierarchies With Exceptions
    • 217
    • PDF