A DISTRIBUTED IMPLEMENTATION OF AND-PARALLEL CONCURRENT PROLOG

Abstract

A distributed binding environment for concurrent logic programs is described. It supports the sharing of logical variables between and-parallel processes using eager structure copying. It is assumed that the system runs within a fixed number of "address spaces" with serial communication channels between them. Advantages of the system are that only local garbage collection within the individual address spaces is necessary, only a very simple blocking send message passing system is used, and message passing efficiency improves as the system becomes more heavily loaded. Message count statistics are given for a distributed program using Shapiro's Concurrent Prolog.