Exploiting path parallelism in logic programming
Document typeConference report
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
This paper presents a novel parallel implementation of Prolog. The system is based on Multipath, a novel execution model for Prolog that implements a partial breadth-first search of the SLD-tree. The paper focusses on the type of parallelism inherent to the execution model, which is called path parallelism. This is a particular case of data parallelism that can be efficiently exploited in a SPMD architecture. A SPMD architecture oriented to the Multipath execution model is presented. A simulator of such system has been developed and used to assess the performance of path parallelism. Performance figures show that path parallelism is effective for non-deterministic programs.
CitationTubella, J., Gonzalez, A. Exploiting path parallelism in logic programming. A: Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. "Euromicro Workshop on Parallel and Distributed Processing: proceedings". San Remo: Institute of Electrical and Electronics Engineers (IEEE), 1995, p. 164-173.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder