Dataflow model for handling cut in the LOGFLOW parallel prolog machine

Author

Kacsuk, P.

Author_Institution

KFKI-MSZKI Res. Inst., Budapest, Hungary

fYear

1995

fDate

25-27 Jan 1995

Firstpage

60

Lastpage

67

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

Keywords

PROLOG; data flow computing; distributed memory systems; logic programming; CUT; GDM; Generalized Dataflow Model; Logicflow Model; distributed memory; logic programs; node types; parallel prolog machine; Concurrent computing; Distributed computing; Logic programming; Output feedback; Parallel processing; Pipelines;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on

Conference_Location

San Remo

Print_ISBN

0-8186-7031-2

Type

conf

DOI

10.1109/EMPDP.1995.389154

Filename

389154