loading...
Dataflow model for handling cut in the LOGFLOW parallel prolog machine
San Remo, Italy January 25-January 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.3891543rd Euromicro Workshop on Parallel an ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
P. Kacsuk, "Dataflow model for handling cut in the LOGFLOW parallel prolog machine," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 60, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995.
 
 
BibTex
x
 
@article{ 10.1109/EMPDP.1995.389154,
author = {P. Kacsuk},
title = {Dataflow model for handling cut in the LOGFLOW parallel prolog machine},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {1995},
issn = {1066-6192},
pages = {60},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389154},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Dataflow model for handling cut in the LOGFLOW parallel prolog machine
SN - 1066-6192
SP
EP
A1 - P. Kacsuk,
PY - 1995
KW - PROLOG; logic programming; data flow computing; distributed memory systems; parallel prolog machine; CUT; Logicflow Model; Generalized Dataflow Model; GDM; logic programs; node types; distributed memory
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
P. Kacsuk, KFKI-MSZKI Res. Inst., Budapest, Hungary
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.
Index Terms:
PROLOG; logic programming; data flow computing; distributed memory systems; parallel prolog machine; CUT; Logicflow Model; Generalized Dataflow Model; GDM; logic programs; node types; distributed memory
Citation:
P. Kacsuk, "Dataflow model for handling cut in the LOGFLOW parallel prolog machine," pdp, pp.60, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.