This thesis describes an implementation of Conery's AND/OR Process Model for logic programs. The system runs on either a single processor or a network of loosely coupled UNIX systems. A goal statement is solved by creating AND-processes and OR-processes according to the rules outlined by Conery. In the multi-processor implementation, a copy of the interpreter runs on each processor where each interpreter has a copy of the source program. The processes are distributed among the processors.