🚀 go-pugleaf

In article <676@vmucnam.UUCP> daniel@vmucnam.UUCP (Daniel Lippmann) writes:
>
>Hello, can anyone recommand reference technical papers on the problem of
>parallel unification ?
>thanks for any help
>-- 
>daniel ( ...!mcvax!inria!vmucnam!daniel)
>----------------------------------------------
>C.N.A.M Laboratoire d'Informatique     Daniel Lippmann
>292 rue Saint-Martin 75141 Paris cedex 3     FRANCE  (FAX=42 71 93 29)


Here is a short bib database for parallel unification, both theory
and hardware papers.  Hope this helps.

Ashok (singhal@polaris.berkeley.edu)


%A J. Beer
%T Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
%J PhD thesis, Technical University
%C Berlin
%K Prolog, POPE

%A C. Dwork
%A P.C. Kanellakis
%A J.C. Mitchell
%T On the Sequential Nature of Unification
%J The Journal of Logic Programming
%V 1
%P 35-50
%D June 1984
%K Unification, Complexity

%A Wayne Citrin
%T Parallel Unification Scheduling in Prolog
%J PhD thesis, University of California, Berkeley
%C Berkeley, California
%D 1988
%K SDDA, Unification

%A Chien Chen
%A Ashok Singhal
%A Yale N. Patt
%T PUP: An Architecture to Exploit Parallel Unification in Prolog
%J University of California, Berkeley, Computer Science Division Technical Report No. UCB/CSD 414
%D March 1988
%K PUP, Prolog, Unification

%A H. Yasuura
%T On Parallel Computational Complexity of Unification
%J Proceedings of the International Conference on Fifth Generation Computer Systems
%D 1984
%K Unification, complexity

%A Noriyoshi Ito
%A Hajime Shimizu
%A Masasuke Kishi
%A Eiji Kuno
%A Kazuaki Rokusawa
%T Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog
%J New Generation Computing
%V 3
%P 15-41
%I OHMSHA, LTD and Springer-Verlag
%D 1985
%K Prolog, Dataflow

%A Ashok Singhal
%A Yale N. Patt
%T A High Performance Prolog Processor with Multiple Function Units
%J Proceedings of the 16th Annual International Symposium on Computer Architecture
%P 195-202
%C Jerusalem
%D May 28 - June 1, 1989
%K PLUM

%A Ashok Singhal
%A Yale N. Patt
%T Unification Parallelism: How much can we exploit?
%J Proceeding of the North American Conference on Logic Programming
%C Cleveland
%D Oct 16-20, 1989
%K PLUM