%0 Journal Article
%T horn逻辑程序和形式文法之间的对应关系
%A 陈文彬 王驹？
%J 计算机科学
%D 2003
%X thepaperresearcheshornlogicprogramswithgrammaticalview.thecorrespondencebetweenhornlogicprogramsandgrammarsisfound.themethodbywhichtype-0grammarsgeneratetheleastherbrandmodelsoflogicprogramsisfound.themethodbywhichho
%K horn逻辑程序形式文法知识表示逻辑公式
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595328&flag=1