逻辑程序设计语言G（?）del的形式化过程性语义
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-14页 |
| ·G(o|¨)del语言简介 | 第10-11页 |
| ·G(o|¨)del语言的理论基础 | 第11-12页 |
| ·G(o|¨)del语言理论研究及系统实现现状 | 第12页 |
| ·本文的工作 | 第12-14页 |
| 第二章 G(o|¨)del语言的语法 | 第14-26页 |
| ·类型符号定义 | 第14-16页 |
| ·类型一阶语言 | 第16-22页 |
| ·G(o|¨)del语言的语法 | 第22-26页 |
| 第三章 G(o|¨)del语言的形式化过程性语义 | 第26-52页 |
| ·类型系统 | 第26-36页 |
| ·类型序关系 | 第27-32页 |
| ·类型偏序集 | 第32页 |
| ·结构类型序关系 | 第32-35页 |
| ·类型兼容 | 第35-36页 |
| ·类型推断与类型检查 | 第36-41页 |
| ·类型推断算法 | 第36-38页 |
| ·类型约束算法 | 第38-40页 |
| ·类型运算规则 | 第40-41页 |
| ·变量置换和合一算法 | 第41-44页 |
| ·变量置换 | 第41-42页 |
| ·合一算法 | 第42-44页 |
| ·SLD反驳-消解法 | 第44-45页 |
| ·SLD反驳消解法的正确性与完备性 | 第45-52页 |
| ·SLD反驳消解法的正确性 | 第45-47页 |
| ·SLD反驳消解法的完备性 | 第47-52页 |
| 第四章 G(o|¨)del语言程序设计 | 第52-62页 |
| ·G(o|¨)del语言类型系统 | 第52-54页 |
| ·G(o|¨)del语言控制机制 | 第54-57页 |
| ·计算规则 | 第54页 |
| ·延迟计算 | 第54-56页 |
| ·剪枝机制 | 第56-57页 |
| ·G(o|¨)del语言模块系统 | 第57-59页 |
| ·G(o|¨)del语言中元程序设计及应用 | 第59-62页 |
| ·目标程序表示 | 第59-60页 |
| ·动态元程序设计 | 第60-62页 |
| 第五章 G(o|¨)del语言编译系统的实现原理 | 第62-66页 |
| 第六章 总结与展望 | 第66-68页 |
| 参考文献 | 第68-70页 |
| 致谢 | 第70页 |
