逻辑程序的语义问题（Ⅱ）

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