Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

PUP: An Architecture to Exploit Parallel Unification in Prolog

Chien Chen, Ashok Singhal and Yale N. Patt

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-88-414
March 1988

http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/CSD-88-414.pdf

The architecture described in this paper achieves high performance execution of Prolog programs by exploiting fine grain parallelism. Fine grain parallelism includes unification parallelism as well as parallelism among the arithmetic and bookkeeping operations. Our implementation of the architecture has multiple functional units, each tailored to a specific task, that operate in parallel. Unification and arithmetic operations are allowed to execute out of order and are dynamically scheduled on several unification units. Simulation results for the implementation are presented and analyzed.


BibTeX citation:

@techreport{Chen:CSD-88-414,
    Author = {Chen, Chien and Singhal, Ashok and Patt, Yale N.},
    Title = {PUP: An Architecture to Exploit Parallel Unification in Prolog},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1988},
    Month = {Mar},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/5860.html},
    Number = {UCB/CSD-88-414},
    Abstract = {The architecture described in this paper achieves high performance execution of Prolog programs by exploiting fine grain parallelism. Fine grain parallelism includes unification parallelism as well as parallelism among the arithmetic and bookkeeping operations. Our implementation of the architecture has multiple functional units, each tailored to a specific task, that operate in parallel. Unification and arithmetic operations are allowed to execute out of order and are dynamically scheduled on several unification units. Simulation results for the implementation are presented and analyzed.}
}

EndNote citation:

%0 Report
%A Chen, Chien
%A Singhal, Ashok
%A Patt, Yale N.
%T PUP: An Architecture to Exploit Parallel Unification in Prolog
%I EECS Department, University of California, Berkeley
%D 1988
%@ UCB/CSD-88-414
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/5860.html
%F Chen:CSD-88-414