The paper presents how a massively parallel Prolog implementation can be achieved on the multithreaded Datarol-II machine. First the main features of the parallel Logicflow Model is summarized which 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.
|Number of pages||8|
|Journal||IEEE Symposium on Parallel and Distributed Processing - Proceedings|
|Publication status||Published - Dec 1 1996|
|Event||Proceedings of the 1996 8th IEEE Symposium on Parallel and Distributed Processing - New Orleans, LA, USA|
Duration: Oct 23 1996 → Oct 26 1996
ASJC Scopus subject areas