逻辑程序的语义问题(Ⅱ)

被引：1

作者：

王怀民

机构：

[1] 国防科技大学长沙

来源：

关键词：

逻辑程序; 理想模型; 稳定模型; 语义问题; 语义等价; 最小不动点; 基原子; 极小化; 说明性语义;

D O I：

暂无

中图分类号：

TP311.1 [程序设计];

学科分类号：

081202 ; 0835 ;

摘要：

<正> 下面几节讨论模型论途径的说明语义,可以克服Clark语义的上述缺点。 4.最小模型语义最小模型语义仅适合于正逻辑程序。我们非常熟悉的基于Horn逻辑的Prolog程序采用这种语义规则。为了更好地理解逻辑程序的模型语义的新发展,这里首先考虑最小模型语义。本节仅涉及2-值解释。

引用

页码：10 / 18

页数：9