摘要
RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,它将逻辑程序转换成高效的并行抽象机指令。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1990年第6期25-30,共6页
Computer Engineering
基金
霍英东教育基金资助
