Programming with constraints : an introduction /
Marriott, Kim.
Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. - Cambridge, Mass. : MIT Press, ©1998. - 1 online resource (xiv, 467 pages) : illustrations
Includes bibliographical references and index.
Pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages
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.
English.
0585309639 (electronic bk.) 9780585309637 (electronic bk.) 0262279169 9780262279161 0262133415 9780262133418
9780262133418
GB9843511 bnb
Logic programming.
Constraint programming (Computer science)
Programmation logique.
Programmation par contraintes.
COMPUTERS--Programming Languages--General.
Constraint programming (Computer science)
Logic programming.
Logische Programmierung
Logisch programmeren.
Constraints (informatiewetenschap)
COMPUTER SCIENCE/Programming Languages
Electronic books.
Electronic books.
Leermiddelen (vorm)
QA76.63 / .M37 1998eb
005.13
Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey. - Cambridge, Mass. : MIT Press, ©1998. - 1 online resource (xiv, 467 pages) : illustrations
Includes bibliographical references and index.
Pt. 1. Constraints. Constraints -- Simplification, optimization and implication -- Finite constraint domains -- pt. 2. Constraint logic programming. Constraint logic programs -- Simple modelling -- Using data structures -- Controlling search -- Modelling with finite domain constraints -- Advanced programming techniques -- CLP systems -- pt. 3. Other constraint programming languages. Constraint databases -- Other constraint programming languages
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.
English.
0585309639 (electronic bk.) 9780585309637 (electronic bk.) 0262279169 9780262279161 0262133415 9780262133418
9780262133418
GB9843511 bnb
Logic programming.
Constraint programming (Computer science)
Programmation logique.
Programmation par contraintes.
COMPUTERS--Programming Languages--General.
Constraint programming (Computer science)
Logic programming.
Logische Programmierung
Logisch programmeren.
Constraints (informatiewetenschap)
COMPUTER SCIENCE/Programming Languages
Electronic books.
Electronic books.
Leermiddelen (vorm)
QA76.63 / .M37 1998eb
005.13