Exploiting path parallelism in logic programming
Tipus de documentText en actes de congrés
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
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.
CitacióTubella, 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.
Versió de l'editorhttp://ieeexplore.ieee.org/document/389143/