Prolog on the multithreaded Datarol-II machine based on the logicflow execution model

The paper shows how a massively parallel Prolog implementation can be achieved on the multithreaded Datarol-II machine. First the main features of the parallel Logicflow Model are summarized. It was developed for implementing Prolog on massively parallel computers. Prolog programs are transformed into a dataflow-like graph called the Logicflow Graph in which nodes are macro dataflow nodes and tokens represent macrothreads. The Datarol-II architecture efficiently supports both the management of macrothreads derived from the Logicflow Model and the management of microthreads created when remote loads are necessary. The architecture of the Datarol-II machine and the macrothread management of Prolog programs are described in detail.