RWAM on transputers for distributed execution of Prolog

We present a randomized parallel search model (RPSModel) and its corresponding abstract machine RWAM. The idea underlying this model is to have each processor in multiprocessor/multicomputer machines work independently on an identical copy of a given query, employing a strategy that randomly selects alternative branches in a forward execution and performs backtracking when a branch is blocked. When some processor works out a solution or all the processors fail in finding any solution, the system will terminate, The method of describing the execution of logic programs provides a framework for developing execution models of logic programs and determines the basic properties of the corresponding execution models. Here, the search space of a logic program is described by an OR tree.<>