逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有......

纯Ｄａｔａｌｏｇ的唯一模型中定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄｔａｌｏｇ－Ｎｏｔ程序的的有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义，完美模型关系是一种合理的选......

主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一......