Dataflow and logicflow models for defining a parallel Prolog abstract machine

Research output: Contribution to journalArticle

1 Citation (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. The paper describes the main features of the two models explaining their firing rules and transition functions respectively.

Original languageEnglish
Pages (from-to)289-298
Number of pages10
JournalUnknown Journal
Issue numberA-50
Publication statusPublished - Dec 1 1994
EventProceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques (PACT'94) - Montreal, Can
Duration: Aug 24 1994Aug 26 1994


ASJC Scopus subject areas

  • Engineering(all)

Cite this