Parallel execution of prolog programs: a survey

  title={Parallel execution of prolog programs: a survey},
  author={G. Gupta and Enrico Pontelli and K. M. A. Ali and M. Carlsson and M. Hermenegildo},
  journal={ACM Trans. Program. Lang. Syst.},
  • G. Gupta, Enrico Pontelli, +2 authors M. Hermenegildo
  • Published 2001
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular… CONTINUE READING
    185 Citations
    An Or-Parallel Prolog Execution Model for Clusters of Multicores
    On Applying Or-Parallelism and Tabling to Logic Programs
    • 55
    • PDF
    An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling
    • 11
    A team-based scheduling model for interfacing or-parallel prolog engines
    • 2
    • PDF
    Towards a high-level implementation of flexible parallelism primitives for symbolic languages
    • 7
    • PDF


    Parallel Logic Programming for Numeric Applications
    • 12
    • Highly Influential
    A High Performance OR-parallel Prolog System
    • 32
    • Highly Influential
    ACE: And/Or-parallel Copying-based Execution of Logic Programs
    • 30
    • Highly Influential
    • PDF
    Concurrent PROLOG: Collected Papers
    • 179
    • Highly Influential
    • PDF
    YapOr: an Or-Parallel Prolog System Based on Environment Copying
    • 41
    • Highly Influential
    • PDF
    AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor
    • 81
    • Highly Influential
    Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
    • 157
    • Highly Influential
    Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
    • 9
    • Highly Influential
    Static Analysis of Logic Programs for Independent And-Parallelism
    • 166
    • Highly Influential
    The Reduce-Or Process Model for Parallel Execution of Logic Programs
    • L. Kalé
    • Computer Science
    • J. Log. Program.
    • 1991
    • 49
    • Highly Influential
    • PDF