%0 Journal Article
%T The Correspondence between Horn Logic Programs and Formal Grammars<br>Horn逻辑程序和形式文法之间的对应关系
%A CHENG Wen-Bin WANG Ju
%A <br>陈文彬
%A 王驹
%J 计算机科学
%D 2003
%I 
%X The paper researches Horn logic programs with grammatical view. The correspondence between Horn logic programs and grammars is found. The method by which type-0 grammars generate the least Herbrand models of logic programs is found. The method by which Horn logic programs generate the languages of type-0 grammars is found. The characterization of Horn Logic programs that are semantically equavanent to type-2 grammars and type-3 grammars is found.
%K Grammar
%K Logic program
%K Least Herbrand model<br>Horn逻辑程序
%K 形式文法
%K 知识表示
%K 逻辑公式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E35FD4C43BF8B1E0&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=F3090AE9B60B7ED1&sid=C5154311167311FE&eid=DB817633AA4F79B9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11