• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers and Artificial Intelligence >Execution models for a massively Parallel prolog implementation. Part II.
【24h】

Execution models for a massively Parallel prolog implementation. Part II.

机译：大规模并行prolog实现的执行模型。第二部分

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 s applied to implement Prolog on massively par- Allel distributed memory computers. Properties of the Logicflow Model concerning The logic programming execuition 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 form The dataflow and logicflow nodes in the case of alternative clauses.
机译：引入了通用数据流模型，用于逻辑程序的或与流水线与并行执行。称为Logicflow Model的数据流模型的更高级别抽象，用于在大型Par-Allel分布式内存计算机上实现Prolog。详细证明了有关逻辑编程执行方案的Logicflow模型的性质。基于两个执行模型，可以定义分布式数据驱动的Prolog抽象机（3DPAM）。在替代子句的情况下，显示了如何从数据流和逻辑流节点派生3DPAM的指令。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号