最小Herbrand模型相关硕士博士期刊学术论文

这篇论文从文法的角度研究了Horn逻辑程序．因为Horn逻辑程序的计算能力与图灵机是等价的，而图灵机的计算能力与0型文法是等价的，所以，H......