论文部分内容阅读
该文论述并行推理机RAP／LOP－WAM的抽象机模型和体系结构。并行推理机RAP／LOP－WAM基于OR树林描述，并行扩充顺序WAM，支持限制与／或并行执行逻 辑程序（Restricted AND－Parallelism and Limited OR－Parallelism）。它通过编译时对程序过程级和子句级的静态数据相关性分析，结合运行时的简单的动态测试开发独立目标的与并行。或并行的开发受限于处理机个数，有效地避免了空间量和进程数的指数爆炸，因而减少了不必要的进程切换，开发大粒度的并行性。（本刊录）