Constraint Logic Programming Using Eclipse

Name: Constraint Logic Programming Using Eclipse
Price: 61.68 USD
Availability: InStock
ISBN: 9780521866286

ISBN-10: 0521866286

ISBN-13: 9780521866286

Edition: 2006

Authors: Krzysztof R. Apt, Mark Wallace

List price: $92.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $61.68

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $92.99
Copyright year: 2006
Publisher: Cambridge University Press
Publication date: 12/21/2006
Binding: Hardcover
Pages: 348
Size: 7.01" wide x 9.96" long x 0.87" tall
Weight: 1.870
Language: English

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



Introduction



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


Bibliography


Index