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

Abstract: A new model for bottom-up parallel interpretation of logic programs , is introducedi which is based on the Knowledge Rcvriting Computation Model. The inference motivation improvement is dependant on the distribution strategy of the generated assertions, decided by so called predicate-dependancy relation closure,