© 1990 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
The Amoeba-Prolog System
Computer Laboratory, University of Newcastle upon Tyne, Claremont Tower, Claremont Road, Newcastle upon Tyne NE1 7RU, UK
Although much good work has been done in the area of distributed/concurrent Prolog, this has concentrated on schemes that use multiple processors with the goal of executing some form of logic program more quickly than can be done on a sequential processor.
The present paper addresses the distributed use of logic programming, i.e. the sort of usage with the characteristics: (a) processes with no relationship, needing to establish a connection, cooperate for a while, and separate again; (b) processes where, averaged over process lifetime, the communication density and number of synchronisations between most pairs of processors is low. It takes the Amoeba distributed operating system and provides predicates for performing Amoeba transactions using Prolog terms.
Received May 1989. revised May 1990.
* This work was done while the author was at Centrum voor Wiskunde en Informatica (CWI) and the Amoeba project.
Computer Laboratory, University of Newcastle upon Tyne*, Claremont Tower, Claremont Road, Newcastle upon Tyne NE1 7RU