| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第一章 绪论 | 第12-23页 |
| ·G(o∣¨)del语言简介 | 第12-13页 |
| ·G(o∣¨)del语言的主要机制 | 第13-21页 |
| ·G(o∣¨)del语言的类型系统 | 第13-15页 |
| ·G(o∣¨)del语言的模块系统 | 第15-17页 |
| ·G(o∣¨)del语言的控制机制 | 第17-21页 |
| ·计算规则 | 第17-19页 |
| ·剪枝操作 | 第19-21页 |
| ·G(o∣¨)del语言实现系统研究现状 | 第21页 |
| ·本文的工作概述 | 第21-23页 |
| 第二章 G(o∣¨)del语言编译系统的总体设计与实现方法简介 | 第23-34页 |
| ·G(o∣¨)del语言的SLD反驳—消解规则 | 第23-27页 |
| ·SLD反驳—消解法 | 第23-25页 |
| ·匹配 | 第24页 |
| ·SLD反驳—消解法定义 | 第24-25页 |
| ·SLD树的定义 | 第25页 |
| ·G(o∣¨)del语言的SLD反驳搜索策略 | 第25-27页 |
| ·编译系统总体结构设计 | 第27-29页 |
| ·G(o∣¨)del语言编译实现的提出 | 第27-28页 |
| ·G(o∣¨)del语言编译系统总体结构 | 第28-29页 |
| ·G(o∣¨)del语言中间代码的设计与实现 | 第29-34页 |
| ·G(o∣¨)del语言中间代码的设计思想 | 第29-30页 |
| ·G(o∣¨)del语言中间代码的实现 | 第30-34页 |
| 第三章 G(o∣¨)del语言计算可视化的研究 | 第34-43页 |
| ·可视化技术涵义及发展 | 第34-37页 |
| ·计算可视化技术的内涵 | 第34-35页 |
| ·计算可视化技术的发展历史 | 第35-36页 |
| ·计算可视化技术的实现 | 第36-37页 |
| ·G(o∣¨)del语言计算可视化的研究 | 第37-43页 |
| ·G(o∣¨)del语言推理机系统 | 第38-41页 |
| ·推理机的基本原理 | 第38页 |
| ·推理过程 | 第38-41页 |
| ·实现G(o∣¨)del语言计算可视化的必要性 | 第41-43页 |
| 第四章 G(o∣¨)del语言计算可视化的实现 | 第43-61页 |
| ·计算可视化的两种表达方式 | 第43-45页 |
| ·G(o∣¨)del语言计算可视化实现的总体结构 | 第45-46页 |
| ·G(o∣¨)del语言计算可视化中编译系统的设计 | 第46-56页 |
| ·基于XML的G(o∣¨)del语言计算可视化 | 第46-51页 |
| ·XML文档的处理方式 | 第51-56页 |
| ·SAX解析器 | 第51-52页 |
| ·DOM解析器 | 第52-54页 |
| ·基于DOM创建XML文档的实现 | 第54-56页 |
| ·G(o∣¨)del语言计算可视化的运行环境的设计 | 第56-61页 |
| ·基于DOM的读取XML文件的实现过程 | 第56-58页 |
| ·计算可视化显示的实现 | 第58-61页 |
| 第五章 推理过程跟踪显示器 | 第61-66页 |
| ·推理过程跟踪器界面 | 第61-62页 |
| ·实例运行 | 第62-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·总结 | 第66页 |
| ·展望 | 第66-68页 |
| 附录Ⅰ | 第68-75页 |
| 攻读硕士学位期间发表论文情况 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 致谢 | 第78页 |
