Binding environments for parallel logic programs in non-shared memory multiprocessors

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 is based on a procedure that transforms stack frames after unification, taking into account problems with common unbound ancestors and shared instances of complex terms. Closed environments were developed for the AND/OR Process Model, but may be applicable to other OR-parallel models.