Programming with Constraints: An Introduction

Front Cover
MIT Press, 1998 - Computers - 467 pages

The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages.

 

Contents

I
1
1
11
4
22
8
28
9
42
Simplification Optimization
60
Finite Constraint Domains
86
86
112
6
227
1
252
8
255
Advanced Programming Techniques
308
7
320
9
337
CLP Systems
373
Constraint Databases
393

6
123
Constraint Logic Programs
134
Simplified Derivation Trees
149
11
160
Simple Modelling
178
Using Data Structures
186
1
213
Controlling Search
219
Practical Exercises
422
Other Constraint Programming Languages
436
16
445
References
449
51
452
213
462
Copyright

Common terms and phrases

algorithm alldifferent answer arc consistency argument arithmetic constraints association list backtracking behaviour binary Boolean bottom-up evaluation bounds consistency branch and bound brisbane built-in C₁ C₂ choicepoint CLP languages CLP programs CLP system CLP(R complex computation consider constraint databases constraint domain Constraint handling rules constraint logic programming constraint programming constraint solver data structures definition delay condition determine dynamic scheduling efficient element endif equation equivalent example execution fac(N facts finitely fails fixed gives goal hyper-arc consistency if-then-else implementation incremental integer iteration Joblist labelling melbourne minimize mode of usage node optimal solution paradigm predicate primitive constraints Prolog propagation rules query r₁ real numbers recursive redundant constraints represent resistor return false return true S₁ satisfiable second rule shown in Figure SICStus Prolog simple simplex algorithm simplified derivation tree solved form strut sydney toolkit top-down evaluation tree constraints unsatisfiable user-defined constraint valuation domain variables

References to this book

About the author (1998)

Kimbal Marriott leads the MArVL: Monash Adaptive Visualisation Lab and help runs the NICTA Monash Laboratory at Monash University.

Bibliographic information

TitleProgramming with Constraints: An Introduction
Mit Press
AuthorsKim Marriott, Peter J. Stuckey
Editionillustrated
PublisherMIT Press, 1998
ISBN0262133415, 9780262133418
Length467 pages
Subjects ›  › 

Computers / Languages / General
Computers / Logic Design
Computers / Programming / General
  
Export CitationBiBTeX EndNote RefMan