Closed Environments: Partitioned Memory Representation for Parallel Logic Programs
John Conery
Committee:
Technical Report(Dec 1969)
Keywords:

A method known as closed environments can be used to represent variable bindings for OR-parallel logic programs without relying on a shared memory or common address space. The representation allows structures to be shared when environments are in the same memory, and avoids the problem of common unbound ancestor variables. Two systems based on closed environments are briefly described.