摘要： RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,它将逻辑程序转换成高效的并行抽象机指令。
Abstract: The RAP/LOP-WAM parallel inference machine is based on the OR-forest description and is an extension of the WAM. It supports Restricted AND-Parallelism and Limited OR-Parallelism of logic programs. This paper presents the design ideas and methods of the compiler which translates logic programs into the parallel abstract instruction set efficiently.
高耀清,刘志宏,胡守仁. RAP/LOP-WAM并行推理机的编译器设计[J]. , 1990, 16(06): 27-32.
Gao Yaoqing et al. DESIGN OF A COMPILER FOR THE RAP/LOP-WAM PARALLEL INFERENCE MACHINE[J]. , 1990, 16(06): 27-32.