A parallel Prolog execution model: theoretical approach and experimental results

[1993] Proceedings Seventh International Parallel Processing Symposium Pub Date : 1993-04-13 DOI:10.1109/IPPS.1993.262849

J. Bodeveix, Érick Bizouarn

引用次数: 1

Abstract

This paper presents a parallel all-solution extension of Prolog integrating AND parallelism and a restricted form of OR parallelism, both explicitly declared by the user. Parallel sub-goals may share variables and incrementally communicate partially instantiated terms via their common variables, thus allowing stream AND parallelism. Furthermore, the communication direction does not need to be declared by the user or deduced by a static analysis. The resolution model is detailed and its completeness proven. The authors describe a transputer network implementation.<>

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

并行Prolog执行模型:理论方法与实验结果

本文给出了Prolog的一种并行全解扩展，它集成了与并行性和或并行性的一种限制形式，两者都由用户显式声明。并行子目标可以共享变量，并通过它们的公共变量增量地通信部分实例化的术语，从而允许流和并行。此外，通信方向不需要由用户声明或由静态分析推断。详细介绍了该模型，并证明了其完备性。作者描述了一个转发器网络的实现

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

[1993] Proceedings Seventh International Parallel Processing Symposium

自引率

0.00%

发文量

期刊最新文献

Mapping realistic data sets on parallel computers A cluster-M based mapping methodology Supporting insertions and deletions in striped parallel filesystems An efficient atomic multicast protocol for client-server models Implementation of distributed asynchronous algorithms with stochastic delays for solving time drifting optimization problems