Execution models for a massively parallel prolog implementation. Part II

Research output: Contribution to journalArticle

2 Citations (Scopus)


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 Data Driven 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.

Original languageEnglish
Pages (from-to)113-138
Number of pages26
JournalComputers and Artificial Intelligence
Issue number2
Publication statusPublished - Dec 1 1999


  • Dataflow
  • Distributed memory systems
  • Logic programming
  • Parallel programming

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Execution models for a massively parallel prolog implementation. Part II'. Together they form a unique fingerprint.

  • Cite this