See this document in CiteSeerX!

Parallel Execution of Prolog Programs: A Survey (1995)  (Make Corrections)  (16 citations)
Gopal Gupta, Khayri A.M. Ali, Mats Carlsson, et al.
Programming Languages and Systems



  Home/Search   Context   Related

 
View or download:
nmsu.edu/pub/.all_papers/survey.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  indiana.edu/pub/ucstri/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Machine (WAM) [141]. The actual implementation has been performed by extending the SICStus-Prolog abstract machine. The philosophy behind the PWAM design is to achieve similar efficiency to a standard WAM for sequential code while minimizing the overhead of running parallel code. Each PWAM is similar to a standard WAM. The instruction set includes all WAM instructions (some of which have been modified for the PWAM) and several additional instructions related to parallel execution. The storage... (Update)

Context of citations to this paper:   More

.... the design of models for the efficient execution of this class of languages and systems (e.g. 4, 16, 27, 5, 24] From the beginning [9], parallelism has been identified as one of the most promising avenues to provide efficiency. Indeed, the essence of this class of systems...

Cited by:   More
Parallelizing Irregular and Pointer-Based Computations.. - Hermenegildo (2000)   (Correct)
Some Techniques for Automated, Resource-Aware.. - Hermenegildo..   (Correct)
On the Cache Performance of Prolog Systems - Castro, Costa (2002)   (Correct)

Similar documents (at the sentence level):
5.0%:   Parallel Symbolic Computation in ACE - Pontelli, Gupta (1995)   (Correct)

Active bibliography (related documents):   More   All
2.2:   Analysis of Or-Parallel Execution Models - Gupta, Jayaraman (1993)   (Correct)
2.1:   A High Performance OR-parallel Prolog System - Karlsson (1992)   (Correct)
2.1:   Distributing And- and Or-Work in the Andorra-I Parallel Logic.. - Dutra (1995)   (Correct)

Similar documents based on text:   More   All
0.4:   Entailment of Finite Domain Constraints - Carlson, Carlsson, Diaz (1994)   (Correct)
0.2:   ACE: A High-Performance Parallel Prolog System - Pontelli (1995)   (Correct)
0.2:   Improving the Efficiency of Nondeterministic.. - Pontelli,, Gupta, .. (1996)   (Correct)

Related documents from co-citation:   More   All
4:   The Aurora Or-Parallel Prolog System (context) - Lusk, Butler et al. - 1988
4:   Full Prolog and scheduling or-parallelism in MUSE (context) - Ali, Karlsson - 1990
4:   Stack-Splitting: a Simple Technique for Implementing Or-Parallelism and And-para.. - GUPTA, PONTELLI - 1999

BibTeX entry:   (Update)

G. Gupta, Ali K.M., M. Carlsson, M. Hermenegildo. Parallel Execution of Prolog Programs: A Survey (Preliminary Version). Unpublished manuscript, pp. 52, available via ftp.cs.nmsu.edu: /pub/papers/lp/survey.ps.Z Copyright 1995, Paralogic, Inc., All Rights Reserved http://citeseer.ist.psu.edu/article/gupta95parallel.html   More

@article{ gupta01parallel,
    author = "Gopal Gupta and Enrico Pontelli and Khayri A. M. Ali and Mats Carlsson and Manuel V. Hermenegildo",
    title = "Parallel execution of prolog programs: a survey",
    journal = "Programming Languages and Systems",
    volume = "23",
    number = "4",
    pages = "472-602",
    year = "2001",
    url = "citeseer.ist.psu.edu/article/gupta95parallel.html" }
Citations (may not include all citations):
981   Principles of Database and Knowledge-base Systems (context) - Ullman - 1989
247   The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
132   Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1990
125   Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1992
121   Guarded Horn Clauses - Ueda - 1986
120   The Aurora or-parallel Prolog system (context) - Lusk, Warren et al. - 1990
108   A Practical Framework for the Abstract Interpretation of Log.. (context) - Bruynooghe - 1991
105   Compile-time Derivation of Variable Dependency Using Abstrac.. - Muthukumar, Hermenegildo - 1992
85   Operating Systems Concepts (context) - Peterson, Silberschatz - 1986
82   Andorra-I: A parallel Prolog system that transparently explo.. - Costa, Warren et al. - 1991
73   Restricted AND-parallelism (context) - DeGroot - 1984
72   Kernel Andorra Prolog and its Computation Model - Haridi, Janson - 1990
65   Concurrent Prolog : Collected Papers (context) - Shapiro - 1987
63   The SRI model for or-parallel execution of Prolog---abstract.. (context) - Warren - 1987
59   Combined Determination of Sharing and Freeness of Program Va.. - Muthukumar, Hermenegildo - 1991
58   Studying parallel program behavior with UPSHOT (context) - Herrarte, Lusk - 1991
56   Or-parallel Copying-based Execution of Logic Programs (context) - Gupta, Hermenegildo et al. - 1991
55   Parlog: Parallel Programming in Logic (context) - Clark, Gregory - 1986
53   An Abstract Machine for Restricted AND-parallel Execution of.. (context) - Hermenegildo - 1986
52   Global Flow Analysis as a Practical Compilation Tool - Hermenegildo, Warren et al. - 1992
49   Accurate and Efficient Approximation of Variable Aliasing in.. (context) - Jacobs, Langen - 1989
48   prolog System: Exploiting Independent And-Parallelism (context) - Hermenegildo, Greene - 1991
47   Can Logic Programming Execute as Fast as Imperative Programm.. - Van Roy - 1990
42   Task Granularity Analysis in Logic Programs - Debray, Lin et al. - 1990
40   The Andorra-I Preprocessor: Supporting full Prolog on the Ba.. (context) - Costa, Warren et al. - 1991
40   Effectiveness of Global Analysis in Strict Independence-Base.. (context) - Bueno, de la et al. - 1993
39   Parallel Logic Programming (context) - Tick - 1991
36   The Abstract Machine and Implementation of Parallel Parlog (context) - Crammond - 1992
34   Determination of Variable Dependence Information through Abs.. (context) - Muthukumar, Hermenegildo - 1989
34   The MUSE Approach to Or-Parallel Prolog - Ali, Karlsson - 1990
34   Reform Prolog: The Language and its Implementation - Bevemyr, Lindgren et al. - 1993
31   An Abstract Machine Based Execution Model for Computer Archi.. (context) - Hermenegildo - 1986
30   And-Parallelism of Logic Programs based on Static Data Depen.. (context) - Chang, Despain et al. - 1985
30   Design and Implementation of an OR-Parallel Prolog Engine (context) - Carlsson - 1990
29   Full Prolog and Scheduling Or-Parallelism in MUSE (context) - Ali, Karlsson - 1990
29   Performance of the Compiler-based Andorra-I System - Yang - 1993
28   The Andorra-I Engine: A parallel implementation of the Basic.. (context) - Costa, Warren et al. - 1991
28   The Parallel ECRC Prolog System PEPSys: An Overview and Eval.. (context) - Baron, de Kergommeaux - 1988
26   Exploiting Dependent And-Parallelism in Prolog: The Dynamic (context) - Shen - 1992
26   Analyzing Logic Programs with Dynamic Scheduling - Marriott, de la et al. - 1994
25   Performance analysis of the Aurora or-parallel Prolog system (context) - Szeredi - 1989
21   The PEPSys Model: Combining Backtracking (context) - Westphal, Robert et al. - 1987
21   Or Parallelism in Prolog (context) - Shen, And - 1992
20   Pruning and Speculative Work in OR-Parallel PROLOG (context) - Hausman - 1990
20   Flexible scheduling or-parallelism in Aurora: the Bristol sc.. (context) - Beaumont, Raman et al. - 1991
20   Or-Parallel Execution Models of Prolog (context) - Warren - 1987
19   Efficient Prolog Memory Management for Flexible Control Stra.. (context) - Warren - 1984
19   Binding Environments for Parallel Logic Programs in Non-Shar.. (context) - Conery - 1987
19   A Logic Programming Language Based on the Andorra Model (context) - Haridi
19   Functional Computations in Logic Programs - Debray, Warren - 1989
18   MultiLog: Data Or-parallel Logic Programming (context) - Smith - 1993
18   Deriving A Fixpoint Computation Algorithm for Topdown Abstra.. (context) - Muthukumar, Hermenegildo - 1990
17   Analysis of Or-parallel Execution Models - Gupta, Jayaraman - 1993
17   Abstract Interpretation: A Unified Model for Static Analysis.. (context) - Cousot, Cousot - 1977
17   Independence in Constraint Logic Programs (context) - de la, Hermenegildo et al. - 1993
17   A Simulation Study of Or- and Independent And-parallelism (context) - Shen, Hermenegildo - 1991
16   Scheduling or-parallelism in Aurora---the Manchester schedul.. (context) - Calderwood, Szeredi - 1989
16   Scheduling OR-parallelism: an Argonne perspective (context) - Butler, Disz et al. - 1988
16   and MEL Methods for Automatic Compile-time Parallelization o.. (context) - Muthukumar, Hermenegildo et al. - 1990
15   A High Performance OR-parallel Prolog System - Karlsson - 1992
14   And-Or Parallel Prolog: A Recomputation Based Approach - Gupta, Hermenegildo et al. - 1993
14   Or-Parallel Prolog Made Efficient on Shared Memory Multiproc.. (context) - Hausman - 1987
14   Providing Iteration and Concurrency in Logic Program through.. - Barklund, Millroth - 1992
14   Restricted And-Parallelism and Side-effects (context) - DeGroot - 1987
14   Cut and Side-Effects in Or-Parallel Prolog (context) - Hausman, Ciepielewski et al.
14   Cut and Side-Effects in Or-Parallel Prolog (context) - Hausman, Ciepielewski et al. - 1988
13   A Graphical Tool for Observing the Behavior of Parallel Logi.. (context) - Disz, Lusk - 1987
13   Execution Models of Prolog for Parallel Computers (context) - Kacsuk - 1990
13   A graphical tool for observing the behavior of parallel logi.. (context) - Disz, Lusk - 1987
12   and Memory Management in ANDParallel Execution of Logic Prog.. (context) - Hermenegildo, Scheduling - 1987
12   An Interpreter for the Extended Andorra Model (context) - Gupta, Warren - 1992
12   A Formal Model for Or-parallel Execution of Logic Programs (context) - Ciepielewski, Haridi - 1983
12   Prolog Multiprocessors (context) - Wise - 1986
12   An Abstract Instruction Set for Prolog (context) - Warren - 1983
12   Scheduling speculative work in or-parallel Prolog systems (context) - Beaumont, Warren - 1993
11   Parallel Unification (context) - Barklund - 1990
11   Extracting Non-strict Independent And-parallelism Using Shar.. (context) - Cabeza, Hermenegildo - 1992
11   Compiled Execution of the REDUCE-OR Process Model (context) - Ramkumar, Kal'e - 1989
10   A Scalable Abstract Machine Model to Support Limited-OR (context) - Biswas, Su et al. - 1988
10   Parallel Prolog using Stack Segments on Shared Memory Multip.. (context) - Borgwardt - 1984
10   Experiments with OR-parallel Logic Programs (context) - Disz, Lusk et al. - 1987
10   Operational Semantics and Implementation (context) - De Bosschere, Jacquet et al. - 1993
10   The Dharma Scheduler---Definitive Scheduling in Aurora on Mu.. (context) - Sindaha - 1992
10   A Method for Efficiently Executing Horn Clause Programs Usin.. (context) - Clocksin, Alshawi - 1988
10   Or-parallel execution of Prolog on BC-machine (context) - Ali - 1988
10   A Randomized Parallel Backtracking Algorithm (context) - Janakiram, Agarwal et al.
9   Scheduling Speculative Work in MUSE and Performance Results - Ali, Karlsson - 1992
9   Parallel Execution of Horn Clause Programs (context) - Pollard - 1981
8   Efficient Methods for Supporting Side Effects in Independent.. (context) - Muthukumar, Hermenegildo - 1989
8   Performance of Aurora on NUMA machines (context) - Mudambi - 1991
8   Parallel Interpretation of Logic Programs (context) - Conery - 1987
8   Cut and Side-Effects in And-Or Parallel Prolog - Gupta, Costa - 1992
8   Parallel Interpretation of Logic Programs (context) - Conery, Kibler - 1981
8   AND-parallel execution of Logic Programs on a Shared Memory .. (context) - Lin, Kumar - 1988
7   Machine Independent AND and OR Parallel Execution of Logic P.. (context) - Kal'e, Ramkumar
7   The Data Diffusion Machine -- a Shared Virtual Memory Archit.. (context) - Warren, Haridi - 1988
7   A Practical Approach to the Global Analysis of Constraint Lo.. (context) - de la, Hermenegildo - 1993
7   A Parallel Implementation for AKL (context) - Moolenaar, Demoen
7   Interfacing engines and schedulers in or-parallel Prolog sys.. - Szeredi, Carlsson et al. - 1991
7   A Parallel Logic Programming Language for PEPSys (context) - Ratcliffe, Syre - 1987
7   Prolog: A Parallel Logic Programming Language (context) - Yang - 1987
7   Shared Paged Binding Array: A Universal Data-structure for P.. - Gupta, Costa - 1992
7   A Parallel Implementation of Logic Programs (context) - Lin - 1988
7   Machine Independent AND and OR Parallel Execution of Logic P.. (context) - Ramkumar, Kal'e
7   Or-Parallelism on Applicative Architectures (context) - Lindstrom - 1984
6   and Or-parallelism (context) - Gupta, Santos-Costa et al. - 1991
6   Parallel Architectures for Problem Solving (context) - Kal'e - 1985
6   Parallel Execution of Logic Programs on Shared Memory Multip.. (context) - Gupta - 1991
6   Efficient Implementation of backtracking in AND-parallelism (context) - Hermenegildo, Nasr - 1986
6   Wavefront scheduling (context) - Brand - 1988
6   OR-parallel Speedups in a Knowledge Based System: on MUSE an.. (context) - Ali, Karlsson - 1992
5   A Flexible Scheduler for the Andorra-I System - Dutra
5   Kabu-wake: A New Parallel Method and Its Evaluation (context) - Kumon - 1986
5   Performance of MUSE on Switch-Based Multiprocessor Machines - Ali, Karlsson et al. - 1992
5   ParaGraph: A Graphical Tuning Tool for Multiprocessor System.. (context) - Aikawa - 1992
5   And Parallelism in Logic Programs (context) - Conery, Kibler - 1983
5   Visualizing Parallel Logic Programming with VISTA (context) - Tick - 1992
5   Virtual Memory Support for Parallel Logic Programming System.. (context) - V'eron, Xu - 1991
4   Joining And Parallel Solutions in And/Or Parallel Systems (context) - Ramkumar, Kal'e - 1990
4   Selecting the Backtrack Literal in the AND/OR Process Model (context) - Woo, Choe - 1986
4   Delta-Prolog: a Distributed Backtracking Extension with Even.. (context) - Aparicio, Cunha et al. - 1986
4   An Automatic Translation Scheme from Prolog to the Andorra K.. (context) - Bueno, Hermenegildo - 1992
3   Performance of an OR-parallel Logic Programming system (context) - Tinker - 1988
3   Restrict And-Parallelism Model with Side Effects (context) - Chang, Chiang - 1989
3   ORBIT: A Parallel Computing Model of Prolog (context) - Yasuhara, Nitadori - 1984
3   Performance Evaluation of an Or-parallel Execution Model for.. (context) - Ciepielewski, Hausman - 1986
2   The Andorra Parallel Logic Language (context) - Haridi, Brand - 1988
2   Pruning and scheduling speculative work in or-parallel Prolo.. (context) - Hausman - 1989
2   Applications of the Aurora parallel Prolog system to computa.. - Lusk, Mudambi et al. - 1993
2   Parallel and Distributed Implementation of Logic Programming.. (context) - Hirata - 1992
2   Memory compaction for shared memory multiprocessors (context) - Weemeeuw, Demoen - 1990
2   A Sequential Implementation of AKL (context) - Janson, Montelius - 1991
2   Dynamic Term Size Computation in Logic Programs via Program .. (context) - L'opez, Hermenegildo - 1993
2   Benjamins-Cummings Publishing Co (context) - Maier, Warren et al. - 1988
2   Prolog with Communicating Processes: From T-Prolog to CSR-Pr.. (context) - Futo - 1993
2   Some event-driven paradigms for the visualization of logic p.. (context) - Carro, G'omez et al. - 1993
2   Developing applications for Aurora (context) - Klu'zniak - 1990
2   Scheduling strategies and speculative work (context) - Beaumont - 1991
2   Blackboard Programming in Shared Prolog (context) - Ciancarini - 1993
2   Using dynamic predicates in an or-parallel Prolog system (context) - Szeredi - 1991
1   NUA Prolog: An Extension of the WAM for Parallel Andorra (context) - Palmer, Naish - 1991
1   Generalized Stack-copying for And-Or Parallel Implementation.. (context) - Gupta, Hermenegildo et al. - 1992
1   Seminar given at Gigalips Workshop (context) - Warren, Principle - 1988
1   A Systematic Approach to Exploiting Parallelism in Logic Pro.. (context) - Gupta, Costa
1   Towards an Efficient Compile-time Granularity Algorithm (context) - Zhong, Tick - 1992
1   And-Or Parallelism in Full Prolog based on Paged Binding Arr.. (context) - Gupta, Costa - 1992
1   And-Or Parallelism on Shared Memory Multiprocessors - Gupta, Jayaraman
1   A Flexible Scheduling and Memory Management Scheme for NonDe.. (context) - Shen, Hermenegildo - 1993
1   Effectiveness of Combined Sharing and Freeness Analysis usin.. (context) - de la, Hermenegildo - 1992
1   Scheduling in Or-parallel Prolog Systems: Survey (context) - Ciepielewski - 1992
1   Unification Parallelism: How much can be Exploited (context) - Singhal, Patt - 1989



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index):   More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998)   (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992)   (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC