RAP／LOP—WAM并行推理机的编译器设计

摘要

cqvip:RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,它将逻辑程序转换成高效的并行抽象机指令。