Execution models for a massively parallel prolog implementation. Part I

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

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)337-364
Number of pages28
JournalComputers and Artificial Intelligence
Volume17
Issue number4
Publication statusPublished - 1998

Fingerprint

Logic programming
Pipelines
Data storage equipment

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Execution models for a massively parallel prolog implementation. Part I. / Kacsuk, P.

In: Computers and Artificial Intelligence, Vol. 17, No. 4, 1998, p. 337-364.

Research output: Contribution to journalArticle

@article{69cb5d6fac7d4b9685c08f7714de6e16,
title = "Execution models for a massively parallel prolog implementation. Part I",
abstract = "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.",
keywords = "Dataflow, Distributed memory systems, Logic programming, Parallel programming",
author = "P. Kacsuk",
year = "1998",
language = "English",
volume = "17",
pages = "337--364",
journal = "Computing and Informatics",
issn = "1335-9150",
publisher = "Slovak Academy of Sciences",
number = "4",

}

TY - JOUR

T1 - Execution models for a massively parallel prolog implementation. Part I

AU - Kacsuk, P.

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

KW - Dataflow

KW - Distributed memory systems

KW - Logic programming

KW - Parallel programming

UR - http://www.scopus.com/inward/record.url?scp=33749155452&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749155452&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:33749155452

VL - 17

SP - 337

EP - 364

JO - Computing and Informatics

JF - Computing and Informatics

SN - 1335-9150

IS - 4

ER -