Prolog and its performance: exploiting independent and-parallelism
作者： M. V. Hermenegildo , K. J. Greene
DOI:
关键词:
摘要: An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details its execution (based on RAP-WAM model), most importantly, performance sequential workstations shared memory multiprocessors as compared with state-of-the-art systems. Speedup curves provided for collection benchmark programs which demonstrate significant speed advantages over state-of art
参考文章(14)
Laxmikant V. Kalé, Balkrishna Ramkumar, Compiled execution of the reduce-or process model on multiprocessors NACLP. pp. 313- 331 ,(1989)
Kalyan Muthukumar, Manuel V. Hermenegildo, Determination of variable dependence information at compile-time through abstract interpretation Facultad de Informática (UPM). ,(1989)
David H. D. Warren, The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. SLP. pp. 92- 102 ,(1987)
Doug DeGroot, Restricted AND-Parallelism. Future Generation Computer Systems. pp. 471- 478 ,(1984)
Shyh-Chang Su, David Y. Y. Yun, Prasenjit Biswas, A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. international conference on lightning protection. pp. 1160- 1179 ,(1988)
Kent Boortz, Stefan Andersson, Johan Widen, Hans Nilsson, Johan Andersson, Thomas Sjöland, Mats Carlsson, SICStus Prolog User''s Manual Swedish Institute of Computer Science. ,(1993)
Francesca Rossi, Manuel V. Hermenegildo, On the correctness and efficiency of independent and-parallelism in logic programs conference on logic programming. pp. 369- 389 ,(1989)
Yow-Jian Lin, A parallel implementation of logic programs University of Texas at Austin. ,(1988)
Manuel V. Hermenegildo, Evan Tick, Memory performance of and-parallel prolog on shared-memory architectures international conference on parallel processing. pp. 17- 21 ,(1988)
Manuel V. Hermenegildo, Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. international conference on lightning protection. pp. 556- 575 ,(1987)