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