Performance studies of a parallel Prolog architecture

@inproceedings{Fagin1987PerformanceSO,
  title={Performance studies of a parallel Prolog architecture},
  author={B. Fagin and A. Despain},
  booktitle={ISCA '87},
  year={1987}
}
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to support AND-parallelism, OR-parallelism, and intelligent backtracking. We present the most comprehensive experimental results available to date on combined AND-parallelism, OR-parallelism, and intelligent backtracking in Prolog programs. Simulation results indicate that most Prolog programs in use today cannot effectively… Expand
The Performance of Parallel Prolog Programs
A distributed Prolog system with AND-parallelism
  • M. Carlton, P. Van Roy
  • Computer Science
  • [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track
  • 1988
An Occam2 implementation of Prolog
Prolog at Berkeley
  • A. Despain
  • Computer Science
  • Digest of Papers. COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference
  • 1988
A Dynamic Memory Management Scheme for Shared Memory Multiprocessors
...
1
2
...