Exploiting path parallelism in logic programming

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 para...

Full description

Saved in:
Bibliographic Details
Main Authors: Tubella, J., Gonzalez, A.
Format: Conference Proceeding
Language:English
Subjects:
Arquitectura de computadors
Informàtica
Logic programming
Memory management
Parallel processing
Parallel processing (Electronic computers)
Processament en paral·lel (Ordinadors)
Programació lògica
Shape
Àrees temàtiques de la UPC
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
DOI:10.1109/EMPDP.1995.389143