A DISTRIBUTED IMPLEMENTATION OF AND-PARALLEL CONCURRENT PROLOG
Date
1985-03-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Keywords
Computer Science