论文部分内容阅读
在介绍约束逻辑程序的相关概念的基础上，研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法，并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理，将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序，以求展开后的逻辑程序中的给定算子的最小不动点为切入，给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性，说明把约束逻辑程序转化为正规逻辑程序是可行的。