The Amoeba-Prolog System

Publisher Website
Google Scholar
Abstract
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.

This publication has 0 references indexed in Scilit: