| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-17页 |
| ·逻辑程序设计 | 第9-13页 |
| ·逻辑程序设计思想概述 | 第9-10页 |
| ·逻辑程序设计语言 | 第10-12页 |
| ·逻辑程序设计的语义研究现状 | 第12-13页 |
| ·G(o|¨)del语言 | 第13-16页 |
| ·G(o|¨)del语言简介 | 第13-15页 |
| ·研究G(o|¨)del语言的意义 | 第15页 |
| ·G(o|¨)del语言的研究现状 | 第15-16页 |
| ·本文的主要工作及篇章结构 | 第16-17页 |
| 第二章 类型一阶逻辑与G(o|¨)del语言的语法 | 第17-27页 |
| ·类型一阶语言 | 第17-25页 |
| ·G(o|¨)del语言的语法 | 第25-27页 |
| 第三章 类型一阶逻辑的模型与G(o|¨)del程序的说明性语义 | 第27-41页 |
| ·类型一阶逻辑的模型 | 第27-34页 |
| ·G(o|¨)del程序的说明性语义 | 第34-41页 |
| 第四章 G(o|¨)del语言控制机制的研究与实现 | 第41-53页 |
| ·Prolog语言中的控制问题 | 第42-43页 |
| ·G(o|¨)del语言中的DELAY延迟机制 | 第43-46页 |
| ·DELAY延迟说明的语法和语义 | 第44-45页 |
| ·Delay延迟机制的使用 | 第45-46页 |
| ·G(o|¨)del语言中的剪枝操作 | 第46-49页 |
| ·commit剪枝 | 第46-48页 |
| ·DELAY说明和剪枝的应用 | 第48-49页 |
| ·G(o|¨)del语言控制机制的算法设计与实现 | 第49-53页 |
| 第五章 结论和进一步的工作 | 第53-55页 |
| ·结论 | 第53页 |
| ·进一步的工作 | 第53-55页 |
| 参考文献 | 第55-57页 |
| 致谢 | 第57页 |
