Items related to Constraint Satisfaction in Logic Programming
Synopsis
This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques.
Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient programs. Van Hentenryck's approach preserves one of the most useful features of logic programming - the duality of its semantics - yet allows a short development time for the programs while preserving most of the efficiency of special purpose programs written in a procedural language.
Embedding consistency techniques in logic programming allows for ease and flexibility of programming and short development time because constraint propagation and tree-search programming are abstracted away from the user. It also enables logic programs to be executed efficiently as consistency techniques permit an active use of constraints to remove combinations of values that cannot appear in a solution Van Hentenryck presents a comprehensive overview of this new approach from its theoretical foundations to its design and implementation, including applications to real life combinatorial problems.
The ideas introduced in Constraint Satisfaction in Logic Programming have been used successfully to solve more than a dozen practical problems in operations research and circuit design, including disjunctive scheduling, warehouse location, cutting stock car sequencing, and microcode labeling problems.
Pascal Van Hentenryck is a member of the research staff at the European Computer Industry Research Centre. Constraint Satisfaction in Logic Programming is based on research for the Centre's CHIP project. As an outgrowth of this project, a new language (CHIP) that will include consistency techniques has been developed for commercial use. The book is included in the Logic Programming series edited by Ehud Shapiro.
"synopsis" may belong to another edition of this title.
About the Author
Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books.
"About this title" may belong to another edition of this title.
- PublisherMit Pr
- Publication date1989
- ISBN 10 0262081814
- ISBN 13 9780262081818
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages240
Buy New
View this item
US$ 147.34
US$ 33.23 shipping from United Kingdom to U.S.A.
Destination, rates & speedsSearch results for Constraint Satisfaction in Logic Programming
Stock Image
Constraint Satisfaction in Logic Programming
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.9. Seller Inventory # G0262081814I3N00
Quantity: 1 available
Seller Image
Constraint Satisfaction in Logic Programming
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Hardcover-Großformat. Condition: Gut. 224 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Originalschutzumschlag vorhanden. Dieser ist an den Einbandkanten eingerissen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 700. Seller Inventory # 2138610
Quantity: 1 available
Seller Image
Constraint Satisfaction in Logic Programming
Seller: Goulds Book Arcade, Sydney, Newtown, Sydney, NSW, Australia
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. 224 pages. The dust jacket has a bit of wear, with two small tears on the front right edges. The page edges are light foxed, as are the first and last few pages. Books listed here are not stored at the shop. Please contact us if you want to pick up a book from Newtown. Seller Inventory # 166418
Quantity: 1 available
Seller Image
Constraint Satisfaction in Logic Programming
Seller: thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: LikeNew. Text block, boards and binding are pristine. Dust wrapper in fine, like new condition. Well packaged and promptly shipped from California. Partnered with Friends of the Library since 2010. Seller Inventory # 1LAUHV002FO5
Quantity: 1 available
Stock Image
Constraint Satisfaction in Logic Programming
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. New. book. Seller Inventory # D8S0-3-M-0262081814-6
Quantity: 1 available