Abstract
Many researchers have proposed using multiple communicating processors with a globally addressed memory for executing logic programs. However, the memory and communication contention issues characteristic of such designs have been neglected or palliated. In this paper we discuss a mew method for executing logic programs with low overhead on multiple processors. This method does not involve the sharing of memory or the copying of computation state between processors. We discuss the advantages of this approach over previous ones, and report progress on a multiprocessor implementation.