论文部分内容阅读
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法，对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法，以求得经展开得到的等价正规逻辑程序的最小不动点为切入，给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明，该良基模型是合理的，用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。