Ebooks

Constraint Logic Programming Using Eclipse~tqw~ darksiderg

• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Constraint Logic Programming Using Eclipse
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 1,584,201 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
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 systems that
realise its underlying methodology. Eclipse is exploited commercially by Cisco,
and is freely available and used for teaching and research in over 500
universities. This book has a two-fold purpose. It's an introduction to
constraint programming, appropriate for one-semester courses for upper
undergraduate or graduate students in computer science or for programmers
wishing to master the practical aspects of constraint programming. By the end of
the book, the reader will be able to understand and write constraint programs
that solve complex problems. Second, it provides a systematic introduction to
the Eclipse system through carefully-chosen examples that guide the reader
through the language and illustrate its power, versatility and utility.

Tsble Of Contents

Introduction page ix
Part I: Logic programming paradigm 1
1 Logic programming and pure Prolog 3
2 A reconstruction of pure Prolog 29
Part II: Elements of Prolog 39
3 Arithmetic in Prolog 41
4 Control and meta-programming 59
5 Manipulating structures 76
Part III: Programming with passive constraints 87
6 Constraint programming: a primer 89
7 Intermezzo: Iteration in ECLiPSe 110
8 Top-down search with passive constraints 133
9 The suspend library 155
Part IV: Programming with active constraints 183
10 Constraint propagation in ECLiPSe 185
11 Top-down search with active constraints 205
12 Optimisation with active constraints 230
13 Constraints on reals 256
14 Linear constraints over continuous and integer variables 278
Solutions to selected exercises 305
Bibliographic remarks 320
Bibliography 323
Index 327

Product Details

* ISBN: 0521866286
* ISBN-13: 9780521866286
* Format: Hardcover, 329pp
* Publisher: Cambridge University Press
* Pub. Date: February 2007
* Edition Description: 1ST

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader

related torrents