Parallel and Constraint Logic Programming An Introduction to Logic, Parallelism and Constraints

Begins with an introduction to the fundamentals of conventional logic programming necessary for understanding the following parts. The second part describes parallel logic programming, architecture, and implementations proposed in the area, while part three presents the principles of the constraint logic programming. Both of these sections include descriptions of the supporting facilities for the two paradigms in two popular systems: ECLiPSe and SICStus. Finally, applications of the covered paradigms are presented. The book is aimed at individuals interested in learning about the domain without studying the extensive theoretical work done in the field. Annotation copyrighted by Book News, Inc., Portland, OR