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...

Full description

Saved in:
Bibliographic Details
Main Authors: Apt, Krzysztof R., 1949- (Author), Wallace, M. 1955- (Author)
Format: eBook
Published: Cambridge : Cambridge University Press, 2007.
Online Access: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.