Dataflow model for handling cut in the LOGFLOW parallel prolog machine

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The Generalized Dataflow Model (GDM) and the Logicflow Model have been recently introduced for OR-and pipeline AND-parallel execution of pure logic programs. An informal description of the COR, HCOR and CUT nodes of the Logicflow Model has been given and it was shown how the 'cut' mechanism of Prolog can be realised based on the Logicflow Model. In the current paper a more formal and exact definition is given for these nodes based on their construction by the Generalised Dataflow Model. It will be shown that extending the GDM with the new node types does not modify the properties of the model relevant for the distributed memory based implementation of logic programs.

Original languageEnglish
Title of host publicationProceedings - Euromicro Workshop on Parallel and Distributed Processing
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages60-67
Number of pages8
ISBN (Electronic)0818670312, 9780818670312
DOIs
Publication statusPublished - Jan 1 1995
Event1995 Euromicro Workshop on Parallel and Distributed Processing - San Remo, Italy
Duration: Jan 25 1995Jan 27 1995

Other

Other1995 Euromicro Workshop on Parallel and Distributed Processing
CountryItaly
CitySan Remo
Period1/25/951/27/95

Fingerprint

Pipelines
Data storage equipment

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Cite this

Kacsuk, P. (1995). Dataflow model for handling cut in the LOGFLOW parallel prolog machine. In Proceedings - Euromicro Workshop on Parallel and Distributed Processing (pp. 60-67). [389154] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EMPDP.1995.389154

Dataflow model for handling cut in the LOGFLOW parallel prolog machine. / Kacsuk, P.

Proceedings - Euromicro Workshop on Parallel and Distributed Processing. Institute of Electrical and Electronics Engineers Inc., 1995. p. 60-67 389154.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kacsuk, P 1995, Dataflow model for handling cut in the LOGFLOW parallel prolog machine. in Proceedings - Euromicro Workshop on Parallel and Distributed Processing., 389154, Institute of Electrical and Electronics Engineers Inc., pp. 60-67, 1995 Euromicro Workshop on Parallel and Distributed Processing, San Remo, Italy, 1/25/95. https://doi.org/10.1109/EMPDP.1995.389154
Kacsuk P. Dataflow model for handling cut in the LOGFLOW parallel prolog machine. In Proceedings - Euromicro Workshop on Parallel and Distributed Processing. Institute of Electrical and Electronics Engineers Inc. 1995. p. 60-67. 389154 https://doi.org/10.1109/EMPDP.1995.389154
Kacsuk, P. / Dataflow model for handling cut in the LOGFLOW parallel prolog machine. Proceedings - Euromicro Workshop on Parallel and Distributed Processing. Institute of Electrical and Electronics Engineers Inc., 1995. pp. 60-67
@inproceedings{752f1ad478f0433f95462fe42d10206e,
title = "Dataflow model for handling cut in the LOGFLOW parallel prolog machine",
abstract = "The Generalized Dataflow Model (GDM) and the Logicflow Model have been recently introduced for OR-and pipeline AND-parallel execution of pure logic programs. An informal description of the COR, HCOR and CUT nodes of the Logicflow Model has been given and it was shown how the 'cut' mechanism of Prolog can be realised based on the Logicflow Model. In the current paper a more formal and exact definition is given for these nodes based on their construction by the Generalised Dataflow Model. It will be shown that extending the GDM with the new node types does not modify the properties of the model relevant for the distributed memory based implementation of logic programs.",
author = "P. Kacsuk",
year = "1995",
month = "1",
day = "1",
doi = "10.1109/EMPDP.1995.389154",
language = "English",
pages = "60--67",
booktitle = "Proceedings - Euromicro Workshop on Parallel and Distributed Processing",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Dataflow model for handling cut in the LOGFLOW parallel prolog machine

AU - Kacsuk, P.

PY - 1995/1/1

Y1 - 1995/1/1

N2 - The Generalized Dataflow Model (GDM) and the Logicflow Model have been recently introduced for OR-and pipeline AND-parallel execution of pure logic programs. An informal description of the COR, HCOR and CUT nodes of the Logicflow Model has been given and it was shown how the 'cut' mechanism of Prolog can be realised based on the Logicflow Model. In the current paper a more formal and exact definition is given for these nodes based on their construction by the Generalised Dataflow Model. It will be shown that extending the GDM with the new node types does not modify the properties of the model relevant for the distributed memory based implementation of logic programs.

AB - The Generalized Dataflow Model (GDM) and the Logicflow Model have been recently introduced for OR-and pipeline AND-parallel execution of pure logic programs. An informal description of the COR, HCOR and CUT nodes of the Logicflow Model has been given and it was shown how the 'cut' mechanism of Prolog can be realised based on the Logicflow Model. In the current paper a more formal and exact definition is given for these nodes based on their construction by the Generalised Dataflow Model. It will be shown that extending the GDM with the new node types does not modify the properties of the model relevant for the distributed memory based implementation of logic programs.

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

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

U2 - 10.1109/EMPDP.1995.389154

DO - 10.1109/EMPDP.1995.389154

M3 - Conference contribution

AN - SCOPUS:85027409414

SP - 60

EP - 67

BT - Proceedings - Euromicro Workshop on Parallel and Distributed Processing

PB - Institute of Electrical and Electronics Engineers Inc.

ER -