Constraint logic programming using ECLiPSe [E-Book] / Krzysztof R. Apt and Mark Wallace.
Apt, Krzysztof R., (author)
Wallace, M., (author)
Cambridge : Cambridge University Press, 2007
1 online resource (xv, 329 pages)
englisch
9780521866286
9780511607400
Full Text
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.