P-Prolog, a Parallel Logic Programming Language

Front Cover
World Scientific, 1987 - Computers - 138 pages
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
Theory of Logic Programming
7
A Survey of Parallel Logic Languages
25
A Parallel Logic Programming Language
33
Binary Tree Expression
57
Efficient Memory Management for Multiple Environments
77
Combining Andparallelism and Orparallelism
97
Conclusion
127
Index
137
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information