Title: Prolog on the multithreaded Datarol-II machine based on the logicflow execution model
Abstract: 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.
Publication Year: 2002
Publication Date: 2002-12-24
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot