PUP: An Architecture to Exploit Parallel Unification in Prolog
Chien Chen and Ashok Singhal and Yale N. Patt
EECS Department, University of California, Berkeley
Technical Report No. UCB/CSD-88-414
, 1988
http://www2.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}, Year= {1988}, Month= {Mar}, Url= {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5860.html %F Chen:CSD-88-414