基于OR树林的逻辑程序并行执行模型——PSOF模型

本文提出了一种OR树林并行搜索模型——PSOF模型。在PSOF模型中,同一棵树中搜索的进程在逻辑上相互独立,无须通讯。子进程只是当搜索到叶节点时才向主进程发送结果,通讯频度很低。通过对多棵树以及一棵树的各分枝的并行搜索同时开发了逻辑程序的AND和OR两种基本并行性。本文还讨论了在PSOF模型下子目标的自动划分这一重要专题。

一种支持逻辑程序AND和OR两种并行性的环境共享方法

本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。