A High Performance OR-parallel Prolog System

A High Performance OR-parallel Prolog System (1992)

Cached

Download Links

[www.sics.se]

by Roland Karlsson

Citations:

20 - 0 self

BibTeX

@MISC{Karlsson92ahigh,
    author = {Roland Karlsson},
    title = {A High Performance OR-parallel Prolog System},
    year = {1992}
}

Bookmark

OpenURL

Abstract

PROLOG, the most popular logic programming language, has been developed for single-processor computers. The implementations of sequential Prolog became efficient with the development of the Warren Abstract Machine (WAM) and are still improving. Today many parallel computers are commercially available and the question is how to utilize this opportunity to speed up the execution of Prolog programs. Our approach has been to study and develop efficient techniques for implementing OR-parallel systems for the full Prolog language on UMA and NUMA computers. Based on those techniques a high performance OR-parallel Prolog system has been designed and implemented on six different parallel computers. The system has a number of processes, called workers, consisting of two components: the engine, which does the actual Prolog work, and the scheduler. The schedulers, working together, divide the available work between the engines and support the sequential semantics of Prolog. We have extended th...

Citations

585	The Art of Prolog - Sterling, Shapiro - 1986
474	An Abstract Prolog Instruction Set - Warren - 1983
339	Logic for Problem Solving - Kowalski - 1979
109	Guarded horn clauses - Ueda - 1986
99	R.: The Muse Or-Parallel Prolog Model and its Performance - Ali, Karlsson - 1990
95	Can Logic Programming Execute as Fast as Imperative Programming - Roy - 1990
94	An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
79	Restricted AND-Parallelism - DeGroot - 1984
79	Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation - Muthukumar, Hermenegildo - 1991
79	Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism - Costa, Warren, et al. - 1991
75	Prolog and its Performance: Exploiting Independent And-Parallelism - Hermenegildo, Greene - 1990
73	The Aurora or-parallel Prolog system - Lusk - 1988
70	Kernel Andorra Prolog and its computation model - Haridi, Janson - 1990
70	K.: The &-Prolog System: Exploiting Independent AndParallelism - Hermenegildo, Greene - 1991
67	High-performance Logic Programming with the Aquarius Prolog Compiler - Roy, Despain - 1992
63	The SRI Model for OR-Parallel Execution of Prolog--- Abstract Design and Implementation Issues - Warren - 1987
50	An Abstract Machine for Restricted AND-parallel execution of logic programs - Hermenegildo - 1986
43	The And/Or Process Model for Parallel Interpretation of Logic Programs - Conery - 1983
36	Parallelizing NU-Prolog - Naish - 1988
35	Garbage Collection for Prolog Based on WAM - Appleby, Carlsson, et al. - 1988
35	Parallel Logic Programming in PARLOG - Gregory - 1987
34	High-performance Prolog Implementation - Taylor - 1991
32	Efficient Implementation of a Defensible Semantics for Dynamic prolog code - Lindholm, O'Keefe - 1987
29	The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism - Muthukumar, Hermenegildo - 1990
28	AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results - Lin, Kumar - 1988
25	Performance Analysis of the Aurora Or-Parallel Prolog System - Szeredi - 1989
24	Principles of the DelPhi parallel inference machine - Clocksin - 1987
24	SEPIA - an extendible Prolog system - Meier, Aggoun, et al. - 1989
23	The Muse Approach to OR-parallel Prolog - Ali, Karlsson - 1990
21	Pruning and speculative work in OR-parallel PROLOG - Hausman - 1990
20	The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results - Baron, Kergommeaux, et al. - 1988
18	Binding Environments for Parallel Logic Programs in Nonshared Memory Multiprocessors - Conery
17	Full Prolog and Scheduling ORparallelism - Ali, Karlsson - 1990
17	And-Or Parallelism on Shared Memory Multiprocessors - Gupta, Jayaraman - 1993
15	Scheduling Or-Parallelism: An Argonne Perspective - Butler, Disz, et al. - 1988
13	A Graphical Tool for Observing the Behavior of Parallel Logic Programs - Disz, Lusk - 1987
13	The PEPSys Model: Combining Backtracking, AND- and OR-parallelism - Westphal, Robert, et al.
12	A Scalable Abstract Machine Model to Support LimitedOR Restricted AND parallelism in Logic Programs - Biswas, Su, et al. - 1988
12	Parallel Prolog Using Stack Segments on Shared Memory Multiprocessors - Borgwardt - 1984
12	Cut and Side-Effects in Or-Parallel Prolog - Hausman, Ciepielewski, et al. - 1988
11	Or-parallel Execution of Prolog on BC-machine - Ali - 1988
11	On Criteria for Or-Parallel Execution Models of Logic Programs - Gupta, Jayaraman - 1989
9	OR-parallel Speedups in a Knowledge Based System: on Muse and Aurora - Ali, Karlsson - 1992
9	Experiments with OR-Parallel Logic Programs - Disz, Lusk, et al. - 1987
9	OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors - Hausman, Ciepielewski, et al. - 1987
9	A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs - Kalé, Ramkumar, et al. - 1988
8	OR-parallel execution of PROLOG on a multi-sequential machine - Ali - 1986
8	Anlwam: A Parallel Implementation - Butler, Lusk, et al. - 1986
7	The REDUCE OR process model for parallel evaluation of logic programming - Kal'e - 1987
7	Using automated reasoning tools: A study of the semigroup F2B2 - Lusk, McFadden - 1987