| 第一章 概述 | 第1-13页 |
| 第二章 编译方案 | 第13-38页 |
| 第一节 Prolog语言简介 | 第13-15页 |
| 第二节 Warren抽象机 | 第15-16页 |
| 第三节 编译方案 | 第16-38页 |
| 2．3．1 本系统编译方法的特点 | 第16-17页 |
| 2．3．2 谓词定义的编译 | 第17页 |
| 2．3．3 问题字句的编译 | 第17页 |
| 2．3．4 一条定义子句的编译 | 第17-21页 |
| 2．3．5 约束的编译 | 第21-26页 |
| 2．3．5．1 约束编译的特点 | 第21-23页 |
| 2．3．5．2 常见的用户约束的翻译 | 第23页 |
| 2．3．5．3 线性算术约束的翻译 | 第23-24页 |
| 2．3．5．4 约束的编译方案 | 第24-26页 |
| 2．3．6 基于Xin r的CLP（R）约束编译的实现 | 第26-38页 |
| 2．3．6．1 基本约束Xin r | 第26-30页 |
| 2．3．6．2 用户约束 | 第30-31页 |
| 2．3．6．3 WAM指令集的扩充 | 第31-33页 |
| 2．3．6．4 指令生成的流程 | 第33-35页 |
| 2．3．6．5 非线性约束的编译 | 第35-38页 |
| 第三章 BPU_CLP_C系统的设计与实现 | 第38-49页 |
| 第一节 系统的运行机制 | 第38页 |
| 第二节 编译部分具体设计 | 第38-40页 |
| 第三节 扩充的数据结构 | 第40-42页 |
| 3．3．1 环境表示的扩充 | 第40页 |
| 3．3．2 约束框架 | 第40页 |
| 3．3．3 R变量表 | 第40-41页 |
| 3．3．4 论域的描述 | 第41页 |
| 3．3．5 约束链 | 第41-42页 |
| 3．3．6 约束传播队列 | 第42页 |
| 第四节 解释部分的具体设计 | 第42-49页 |
| 3．4．1 解释部分的整个程序流程 | 第42-43页 |
| 3．4．2 系统用户约束和基本约束的解释实现 | 第43-47页 |
| 3．4．3 约束变量的区间剪枝法的实现 | 第47-49页 |
| 第四章 系统优化策略 | 第49-53页 |
| 4．1 范式编译的优化 | 第49页 |
| 4．2 乘方的编译优化 | 第49-51页 |
| 4．3 变量约束框架的编译优化 | 第51页 |
| 4．4 初次执行基本约束时，同一个约束框架内的变量不相互激活 | 第51页 |
| 4．5 建立多条约束链的优化 | 第51页 |
| 4．6 不重复进入唤醒队列的优化 | 第51页 |
| 4．7 时间点的优化 | 第51-53页 |
| 第五章 BPU_CLP_C系统运行实例 | 第53-57页 |
| 第六章 结论 | 第57-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-60页 |