Toggle Main Menu Toggle Search

Open Access padlockePrints

Or-parallel Prolog on a distributed memory architecture

Lookup NU author(s): Professor Paul WatsonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper discusses the design of Dorpp, an or-parallel Prolog system for distributed memory architectures. The problem of sharing the environment across a set of nodes that do not physically share memory is addressed in a novel manner by designing a Virtual Shared Memory (VSM) scheme to specifically meet the requirements of or-parallelism. The aim is to avoid the overheads of a general VSM scheme that would provide a stricter level of memory coherence than is actually required. The paper identifies the requirements for memory coherence in or-parallel Prolog, and describes how they can be met cheaply. Simulation results are presented and analyzed in order to highlight key aspects of the system's run-time behavior.

Publication metadata

Author(s): Silva F, Watson P

Publication type: Article

Publication status: Published

Journal: Journal of Logic Programming

Year: 2000

Volume: 43

Issue: 2

Pages: 173-186

ISSN (print): 0743-1066

ISSN (electronic): 1873-5940

Publisher: Elsevier BV


DOI: 10.1016/S0743-1066(99)00064-3


Altmetrics provided by Altmetric