良基语义相关论文
二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳定模型语义(回答集语义),为逻辑程序的研究打开了大门。回答......
在介绍约束逻辑程序的相关概念的基础上，研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法，并证明展开后的正规逻辑约束......
