|
|
计算机科学 2003
horn逻辑程序和形式文法之间的对应关系Keywords: horn逻辑程序形式文法知识表示逻辑公式 Abstract: thepaperresearcheshornlogicprogramswithgrammaticalview.thecorrespondencebetweenhornlogicprogramsandgrammarsisfound.themethodbywhichtype-0grammarsgeneratetheleastherbrandmodelsoflogicprogramsisfound.themethodbywhichho
|
