Constraint logic programming using ECLiPSe /
Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2007.
|
| Subjects: | |
| Online Access: | CONNECT CONNECT |
Table of Contents:
- Pt. I. Logic programming and pure prolog
- A reconstruction of pure prolog
- Pt. II. Elements of prolog
- Arithmetic in prolog
- Control and meta-programming
- Manipulating structures
- Pt. III. Programming with passive constraints
- Constraint programming: a primer
- Intermezzo: iteration in ECL[superscript i]PS[superscript e]
- Top-down search with passive constraints
- The suspend library
- Pt. IV. Programming with active constraints
- Constraint propagation in ECL[superscript i]PS[superscript e]
- Top-down search with active constraints
- Optimisation with active constraints
- Constraints on reals
- Linear constraints over continuous and integer variables.
