Skip to content

Constraint Logic Programming Using Eclipse

Spend $50 to get a free DVD!

ISBN-10: 0521866286

ISBN-13: 9780521866286

Edition: 2006

Authors: Krzysztof R. Apt, Mark Wallace

List price: $89.99
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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…    
Customers also bought

Book details

List price: $89.99
Copyright year: 2006
Publisher: Cambridge University Press
Publication date: 12/21/2006
Binding: Hardcover
Pages: 348
Size: 6.75" wide x 9.75" long x 1.00" tall
Weight: 1.848
Language: English

Tina de Vries ist wissenschaftliche Referentin f�r polnisches Recht am Institut f�r Ostrecht M�nchen, Rechtsanw�ltin und Mediatorin.

Logic Programming Paradigm
Logic programming and pure Prolog
A reconstruction of pure Prolog
Elements of Prolog
Arithmetic in Prolog
Control and meta-programming
Manipulating structures
Programming with Passive Constraints
Constraint programming: a primer
Intermezzo: iteration in ECLiPSe
Top-down search with passive constraints
The suspend library
Programming with Active Constraints
Constraint propagation in ECLiPSe
Top-down search with active constraints
Optimisation with active constraints
Constraints on reals
Linear constraints over continuous and integer variables
Solutions to selected exercises
Bibliographic remarks