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

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