再论逻辑程序并行解释的Conery模型

举例说明经 Woo N S 和 Choe K M 修正的 Conery AND/OR 处理模型可能陷入无穷循环,并分析其成因,然后给出算法 SEND 2来克服它。

逻辑程序并行解释的断言流模型

本文研究基于知识重写的逻辑程序的自底向上并行解释的一种新模型。其中推理动机性的改善依赖于生成断言的分配策略,这一策略又取决于所谓的谓词相关关系闭包。