| 一. 引言 | 第1-7页 |
| 二. 逻辑程序的有关概念 | 第7-9页 |
| ·逻辑程序 | 第7-8页 |
| ·代换 | 第8-9页 |
| 三. 语义 | 第9-12页 |
| ·Herbrand模型 | 第9-10页 |
| ·运算结果算子 | 第10页 |
| ·算子和它们的固定点 | 第10-11页 |
| ·最小Herbrand模型 | 第11-12页 |
| 四. 形式文法 | 第12-16页 |
| ·半Thue(图厄) | 第12-14页 |
| ·Chomsky谱系 | 第14-15页 |
| ·正上下文无关文法与Chomsky范式 | 第15-16页 |
| 五. Horn逻辑程序与形式文法之间的对应 | 第16-27页 |
| ·文法产生Horn逻辑程序的最小Herbrand模型 | 第16-17页 |
| ·Horn逻辑程序模型拟0型文法产生的语言 | 第17-19页 |
| ·与2型，3型文法等价的Horn逻辑程序的特征 | 第19-23页 |
| ·与1型文法等价的Horn逻辑程序的特征 | 第23-25页 |
| ·与递归文法等价的Horn逻辑程序的特征 | 第25-27页 |
| 六. 结论 | 第27-28页 |
| 参考文献 | 第28-30页 |
| 发表文章目录 | 第30-31页 |
| 致谢 | 第31页 |