论文部分内容阅读
该文介绍了并行推理机RAP/LOP-WAM模拟实验系统,通过大量的测试程序进行性能评价(与同类工作及顺序WAM作比较),证明了它的正确性和有效性。 RAP/LOP-WAM基于OR树林描述,并行扩充顺序WAM,支持限制与/或并行执行逻辑程序,它通过编译时对程序的整体特性分析和子句级的静态数据相关性分析,结合运行时的简单的动态测试开发独立目标的与并行。或并行的开发受限于处理机个数,有效地避免了空间量和进程数的指数爆炸,它实现在共享存储器的多处理机体系结构。(本刊录)