摘要： 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 Ho

关键词: Horn逻辑程序 形式文法 知识表示 逻辑公式