Practical Issues Relating to the Internal Database Predicates in an OR-Parallel Prolog: Extensions and Useful Hacks.

摘要

This technical report is being written to document and explain some of the insights the authors have gained during the implementation of two OR-parallel Prolog systems for shared-memory multiprocessors. We have been quite amazed by how much power and functionality can be achieved through the implementation of just a few primitive predicates. We introduce a few relatively trival predicates which allow one to implement versions of findall/3, bagof/3, and setof/3 for the multiprocessors environment. Then we show how these predicates can be used to implement AND-parallelism. Finally, we illustrate their use for implementing a limited notion of streams, and how such streams can be used to create a compiler that achieves excellent speedups for multiprocessors with a limited number of processors. 5 refs. (ERA citation 13:046197)