A DISTRIBUTED IMPLEMENTATION OF AND-PARALLEL CONCURRENT PROLOG

Date
1985-03-01
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
Citation