A Tutorial Introduction

# A Tutorial Introduction ### Andrew M. Cheadle Warwick Harvey Andrew J. Sadler Joachim Schimpf Kish Shen Mark G. Wallace

© 2003 – 2006 Cisco Systems, Inc.

- Contents
- Introduction
- Getting started with ECLiPSe
- Prolog Introduction
- ECLiPSe Programming
- A Tutorial Tour of Debugging in TkECLiPSe
- Program Analysis
- An Overview of the Constraint Libraries
- Getting started with Interval Constraints
- Working with real numbers and variables
- The Integer Sets Library
- Problem Modelling
- Tree Search Methods
- Repair and Local Search
- Implementing Constraints
- Propia and CHR
- The Eplex Library
- Building Hybrid Algorithms
- The Colgen Library
- References
- Index

> This document was translated from LATEX by HEVEA.