Execution models for a massively parallel prolog implementation. Part II
P. Kacsuk
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
Text on Computing and Informatics
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic programs. A higher level abstraction of the dataflow model called the Logicflow Model is applied  to  implement Prolog on massively parallel distributed memory computers. Properties of the Logicflow Model concerning the logic programming execution scheme are proved in detail. Based on the two execution models the Distributed DataDriven Prolog Abstract Machine (3DPAM) can be defined. It is shown how the instructions of the 3DPAM are derived from the dataflow and logicflow nodes in the case of alternative clauses.
Publié le : 2012-01-26
Classification:  
@article{cai604,
     author = {P. Kacsuk},
     title = {Execution  models for a massively parallel prolog implementation. Part II},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai604}
}

P. Kacsuk. Execution  models for a massively parallel prolog implementation. Part II. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai604/