论文部分内容阅读
这篇论文从文法的角度研究了Horn逻辑程序.因为Horn逻辑程序的计算能力与图灵机是等价的,而图灵机的计算能力与0型文法是等价的,所以,Horn逻辑程序可以与0型文法相互对应起来,可以根据文法的分类方法将Horn逻辑程序进行分类.本论文的研究目的是探索Horn逻辑程序怎样与0型文法对应起来及与0型文法的子类相对应的Horn逻辑程序有什么特征,以刻划出Horn逻辑程序的层次结构.在本论文中,得到了如下的研究结果:找到了用0型文法产生Horn逻辑程序的最小Herbrand模型的方法,找到了用Horn逻辑程序模拟0型文法的方法,描述了与递归文法,1型文法,2型文法,3型文法等价的Horn逻辑程序的特征.