逻辑程序AND并行的一种无冲突处理技术

为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,我们在以太网连接的多处理机系统上,开发了一个PROLOG的AND并行处理系统WUMPPS.该系统对一类问题的求解具有较高的效率.

基于M_(AS)的形式化数据流图的方法

由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则。