Design and implementation of a parallel logic programming system

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI:10.1109/TAI.1990.130390

H. Shouren, G. Yaoqing, Hwang Zhiyi, C. Yun-gui

引用次数: 0

Abstract

A parallel logic programming system which includes a precompiler, a compiler, and an execution system is presented. An annotated parallel language which is a parallel extension of Prolog is introduced. The techniques used in the precompile phase, such as abstract interpretation and the CAAP (compiling approach for exploiting AND-parallelism) scheme, are described. An optimized compiler, the RAP/LOP (restricted AND-parallelism and limited OR-parallelism) parallel execution model, and the execution system are presented.<>

查看原文本刊更多论文

一个并行逻辑编程系统的设计与实现

提出了一种由预编译器、编译器和执行系统组成的并行逻辑程序设计系统。介绍了Prolog并行扩展的一种注释并行语言。描述了预编译阶段使用的技术，如抽象解释和CAAP(利用与并行性的编译方法)方案。提出了一种优化的编译器、RAP/LOP(限制与并行和限制或并行)并行执行模型和执行系统。

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

求助全文

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

来源期刊

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence

自引率

0.00%

发文量