Contents

• Introduction: The ECLiPSe Philosophy
• ECLiPSe as a Modelling Language
  • Overview of ECLiPSe as a Modelling Language
  • Why Logic Programming
    • Formal Specification Languages
    • Mathematical Modelling Languages
    • Mainstream Programming Languages
    • Object Oriented Languages
  • The Conceptual Model and the Design Model
    • Map Colouring
    • Having Enough Change in Your Pocket
• Solvers and Syntax
  • The fd (Finite Domain) Library
    • The fd Symbolic Finite Domain Facilities
    • The fd Integer Arithmetic Facilities
    • The fd Complex Constraints
  • The range Library
  • The ria (Real Interval Arithmetic) Library
  • The eplex (External CPLEX Solver Interface) Library
• Complex Constraints
  • The propia (Generalised Propagation) Library
  • The chr (Constraint Handling Rules) Library
  • Explicit Data Driven Control
• Search
  • Constructive Search
    • Branch and Bound
    • Depth-First Search and Backtracking
    • Guesses - Constraints Imposed During Search
    • MIP Search
    • Search Heuristics based on Hybrid Solvers fdplex
    • Incomplete Constructive Search
    • Intelligent Backtracking and nogood Learning
  • Solution Repair
    • ``Constructive'' Repair
    • Weak Commitment
    • Local Improvement
• The ECLiPSe System
• Conclusion
• References
• About this document ...