Constraint Programming

Mark Wallace
Contact address: Mark Wallace, IC-Parc,
William Penney Laboratory, Imperial College, LONDON SW7 2AZ.
email: mgw@doc.ic.ac.uk

September 1995

• Introduction
• History
  • Declarative Modelling and Efficient Enforcement
    • Algorithm = Logic + Control
    • Constraints for Multi-Directional Programming
    • Constraint Logic programming
  • Propagation
    • Early Applications
    • Constraint Satisfaction Problems
    • Constraint Propagation in Logic programming
  • Search
• Programming with a Constraint Store
  • Primitive Constraints
  • CLP( )
• Constraint Propagation
  • Propagating Changes
  • Active Constraints
    • Propagating New Information
    • Constraint Agents
    • Some Built-in Constraint Agents
  • Map Colouring
    • The Map Colouring Program
  • Building Constraint Agents
    • Guards
    • Agents Defined by Specific Codes
• Implementation and Applications
  • Constraints Embedded in A Host Programming Language
    • Control
    • Concurrency
    • Logic Programming as a Host Language
    • Libraries for Embedded Constraint Programming
  • Applications of Constraint Programming
• Current Developments
  • Constraints in the Computing Environment
  • Mixed Initiative Programming
  • Interval Reasoning
  • Stochastic Techniques
• References
• About this document ...