论文信息 - An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently

An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently

Abstract PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys Abstract Machine described in this paper was designed to allow an efficient implementation of the PEPSys computational model. Based on the WAM, it incorporates a number of novel features to support the management of the logical variable and the control of the search space of the PEPSys computational model. Both a parallel implementation on a multiprocessor and a simulation system of scalable multiprocessor architectures implement the PEPSys Abstract Machine and yield effective speedups in parallel computations.

Jacques Chassin de Kergommeaux | Philippe Robert

[1] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.

[2] Philippe Robert,et al. The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism , 1987, SLP.

[3] Seif Haridi,et al. OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors , 1987, SLP.

[4] Jacques Noyé,et al. ICM3: Design and Evaluation of an Inference Chrunching Machine , 1987, IWDM.

[5] Alvin M. Despain,et al. An Empirical Study of the Warren Abstract Machine , 1987, SLP.

[6] Philippe Robert,et al. A Distributed Architecture for the PEPSys Parallel Logic Programming System , 1988, ICPP.

[7] Manuel V. Hermenegildo,et al. An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs , 1986, ICLP.

[8] Ewing L. Lusk,et al. Experiments with OR-Parallel Logic Programs , 1987, ICLP.

[9] Gary Lindstrom,et al. A Performance-Oriented Design for OR-Parallel Logic Programming , 1987, ICLP.