%0 Journal Article
%T 逻辑程序的语义问题（Ⅱ）
%A 王怀民
%J 计算机科学
%D 1994
%I 
%X 下面几节讨论模型论途径的说明语义,可以克服Clark语义的上述缺点。 4.最小模型语义最小模型语义仅适合于正逻辑程序。我们非常熟悉的基于Horn逻辑的Prolog程序采用这种语义规则。为了更好地理解逻辑程序的模型语义的新发展,这里首先考虑最小模型语义。本节仅涉及2-值解释。
%K 逻辑程序
%K 语议问题
%K Clark语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4366EA9EBBE8A20EF83BDD7EE67FD445&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=F3090AE9B60B7ED1&eid=13553B2D12F347E8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0