Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints - Softcover

Vlahavas, Ioannis; Tsarchopoulos, Panagiotis; Sakellariou, Ilias

 
9781461551201: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints
Softcover
ISBN 10: 146155120X ISBN 13: 9781461551201
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

1. Introduction.- 2. Logic Programming.- 2.1 Logic.- 2.2 Propositional Logic.- 2.3 First-Order Logic.- 2.4 Resolution.- 2.5 Logic Programming.- 2.6 Pure Prolog.- 2.7 Prolog.- 2.8 Prolog Applications.- 2.9 Prolog Implementation.- 2.10 Selected Reading.- 3. Parallel Logic Programming.- 3.1 Introduction.- 3.2 Parallelism in Logic Programs.- 3.3 OR-Parallelism.- 3.4 AND-Parallelism.- 3.5 Combining AND/OR Parallelism.- 3.6 Case Studies: Languages for and Examples of Parallel Logic Programming.- 3.7 Conclusions.- 4. Constraint Logic Programming.- 4.1 Introduction.- 4.2 Combinatorial Problems Tackled by CLP: An illustrative example.- 4.3 Unification Upgraded: Constraint Solving.- 4.4 Case Studies: Languages for and Examples of Constraint Logic Programming.- 4.5 Applications of Constraint Logic Programming.- 4.6 CLP and the future.- References.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
146155120X
ISBN 13 
9781461551201
Binding
Paperback
Number of pages
164

Other Popular Editions of the Same Title

9780792383710: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints (The Springer International Series in Engineering and Computer Science, 875)

Featured Edition

ISBN 10:  0792383710 ISBN 13:  9780792383710
Publisher: Springer, 1998
Hardcover