Cleary, John G.2008-02-272008-02-271985-03-01http://hdl.handle.net/1880/45810A 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.EngComputer Scienceunknown1985-190-310.11575/PRISM/30526