DATA-FLOW AND LOGICFLOW MODELS FOR DEFINING A PARALLEL PROLOG ABSTRACT MACHINE

被引：0
|
作者：
KACSUK, P
机构：
来源：
PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES | 1994年 / 50卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：289 / 298
页数：10
相关论文
共 50 条
12345