第一部分 PDC Prolog程序设计基础及基本编程技术

第一章 Prolog基础

1.1 逻辑程序设计

1.1.1 句子：事实和规则

1.1.2 询问

1.1.3 事实、规则和询问的综合应用实例

1.1.4 变量：一般的句子

1.1.5 阶段小结

1.2 从自然语言到Prolog程序

1.2.1 子句（事实和规则）

1.2.2 谓词（关系）

1.2.3 变量（一般子句）

1.2.4 目标（询问）

1.2.5 注释

1.2.6 什么是匹配

1.3 本章小结

1.4 练习一

第二章 PDC Prolog程序结构

2.1 PDC Prolog的基本程序段

2.1.1 子句段

2.1.2 谓词段

2.1.3 域段

2.1.4 目标段

2.2 说明和规则的进一步讨论

2.2.1 谓词说明中变元的类型化

2.2.2 同名不同元的谓词

2.2.3 规则语法

2.2.4 自动类型转换

2.3 其他程序段

2.3.1 数据库段

2.3.2 常量段

2.3.3 全局段

2.3.4 编译指令

2.4 本章小结

2.5 练习二

第三章 基本语言元素

3.1 名字

3.1.1 关键字

3.1.2 特殊处理谓词

3.2 程序段

3.2.1 域段

3.2.2 谓词段

3.2.3 数据库段

3.2.4 子句段

3.2.5 常量段

3.3 条件编译

3.4 在程序中包含文件

3.5 编译指令

3.5.1 bgidriver

3.5.2 bgifont

3.5.3 check＿determ

3.5.4 code

3.5.5 config

3.5.6 diagnostics

3.5.7 errorlevel

3.5.8 heap

3.5.9 nobreak

3.5.10 nowarnings

3.5.11 printermenu

3.5.12 project

3.5.13 trace（shorttrace）

3.5.14 trail

3.6 本章小结

3.7 练习三

第四章 合一与回溯

4.1 合一

4.2 回溯

4.2.1 PDC Prolog求解的完全性

4.2.2 对回溯的详细考察

4.2.3 带有内部目标的回溯

4.3 控制求解的搜索过程

4.3.1 fail谓词

4.3.2 用cut谓词阻止回溯

4.3.3 not谓词

4.4 从过程观点看Prolog

4.5 本章小结

4.6 练习四

第五章 简单对象与复合对象

5.1 简单数据对象

5.1.1 作为数据对象的变量

5.1.2 作为数据对象的常量

5.2 复合数据对象和函子

5.3 复合对象的合一

5.4 将若干项视为单个项

5.4.1 使用函子的例子

5.4.2 使用复合对象的例子

5.5 声明复合对象域

5.5.1 域声明小结

5.5.2 多级复合对象

5.6 复合的混合域声明

5.6.1 多类型变元

5.6.2 表

5.7 复合对象的比较

5.8 本章小结

5.9 练习五

第六章 重复与递归

6.1 重复过程

6.1.1 关于回溯的回顾

6.1.2 事前与事后处理

6.2 用循环实现回溯

6.3 递归过程

6.3.1 计算机的执行机制

6.3.2 递归的优点

6.4 尾递归优化

6.4.1 使用尾递归

6.4.2 cut在递归中的妙用

6.5 将变元作为循环变量

6.6 递归数据结构

6.7 树数据类型

6.7.1 树的遍历

6.7.2 树的创建

6.8 二叉搜索树

6.9 本章小结

6.10 练习六

第七章 表与递归

7.1 什么是表

7.2 表声明、表头和表尾

7.3 表处理

7.4 表的使用

7.4.1 打印表

7.4.2 表元素的计数

7.5 尾递归之回顾

7.6 表的成员

7.7 表的合并：描述型及过程型编程

7.7.1 从过程的观点看递归

7.7.2 一个谓词的多种用途

7.8 一次找出所有的解

7.9 复合表

7.10 本章小结

7.11 练习七

第八章 算术与比较

8.1 算术表达式

8.2 操作

8.3 执行顺序

8.4 函数和谓词

8.5 随机数的产生

8.6 整数和实数运算

8.7 比较

8.7.1 相等性及相等谓词

8.7.2 字符、串与符号的比较

8.8 本章小结

8.9 练习八

第九章 串处理

9.1 串处理

9.2 基本串处理谓词

9.3 类型转换

9.4 本章小结

9.5 练习九

第十章 输入输出与文件系统

10.1 输入与输出

10.1.1 输出

10.1.2 输入

10.2 PDC Prolog的文件系统

10.3 打开及关闭文件

10.4 二进制块传送

10.5 标准I/O重定向

10.6 文件属性

10.6.1 打开及创建文件

10.6.2 OS/2和 DOS 4.0的特殊文件方式

10.7 文件操作

10.8 文件名及路径名

10.9 目录搜索

10.10 文件属性的操作

10.11 将数据库引入文件

10.12 将事实当作项来处理

10.13 本章小结

10.14 练习十

第十一章 内部数据库系统

11.1 使用内部数据库

11.2 声明内部数据库

11.3 修改内部数据库

11.3.1 运行期间加入事实

11.3.2 运行期间删除事实

11.3.3 一次删除几个事实

11.3.4 从文件中读取新事实

11.3.5 保存事实数据库

11.3.6 例子

11.4 本章小结

11.5 练习十一

第十二章 外部数据库系统

12.1 PDC Prolog的外部数据库

12.2 外部数据库的构成

12.2.1 命名约定

12.2.2 外部数据库选择符

12.3 链

12.4 外部数据库域和数据库引用号

12.5 外部数据库操作

12.6 链的操作

12.7 项的操作

12.8 一个完整的例子

12.9 B＋树

12.9.1 页，阶及关键字长

12.9.2 重复关键字

12.9.3 多次扫描

12.9.4 B＋树标准谓词

12.9.5 例子：通过B＋树存取数据库

12.10 外部数据库程序设计

12.10.1 扫描数据库

12.10.2 显示数据库的内容

12.10.3 数据库安全保护

12.10.4 更改数据库

12.10.5 使用内部B＋树指针

12.10.6 改变数据库结构

12.11 文件共享和外部数据库

12.11.1 文件共享域

12.11.2 以共享方式打开数据库

12.11.3 事务处理与文件共享

12.11.4 文件共享谓词

12.11.5 文件共享程序设计

12.11.6 实现高层封锁

12.11.7 一个完整的文件共享例子

12.11.8 PDC Prolog文件共享的实现

12.12 外部数据库的二进制数据处理

12.13 其他谓词

12.14 本章小结

12.15 练习十二

第十三章 窗口程序设计

13.1 基本窗口处理

13.1.1 设置屏幕显示属性

13.1.2一个猜单词游戏

13.2 高级窗口处理

13.3 基于屏幕的输入输出

13.4 一个简单游戏例子

13.5 在程序中使用编辑器与目录

13.6 本章小结

13.7 练习十三

第十四章 Borland图形接口

14.1 什么是BGI

14.2 视频模式简述

14.3 视区和BGI.PRE文件

14.4 运行BGI演示程序

14.5 初始化和关闭BGI系统

14.6 当前位置

14.7 画图和着色

14.7.1 线段

14.7.2 画圆

14.7.3 矩形、多边形和直方图

14.7.4 填充

14.8 颜色控制

14.8.1 调色板

14.8.2 CGA上的颜色控制

14.8.3 EGA上的颜色控制

14.8.4 RGB显示器的颜色控制

14.8.5 有关颜色控制的谓词

14.9 在图形模式下输出文本

14.9.1 字模

14.9.2 在图形模式下输出文本的BGI谓词

14.10 屏幕和视区

14.11 像素和映像操作

14.12 使用带RGB图形卡的BGI

14.13 在应用程序中使用BGI

14.13.1 图形驱动程序和字模

14.13.2 在运行时刻装入驱动程序的例子

14.13.3 建立与运行独立的BGI可执行文件

14.14 本章小结

14.15 练习十四

第十五章 跟踪与调试

15.1 语法及类型检查

15.2 跟踪

15.2.1 trace指令

15.2.2 以优化方式进行跟踪：shorttrace

15.2.3 跟踪特定谓词

15.2.4 保存跟踪信息

15.2.5 谓词trace

15.2.6 交互式跟踪控制

15.2.7 跟踪方式下一些特殊处理的谓词

15.2.8 一个跟踪实例

15.3 用于调试的编译指令

15.4 运行时刻错误报告

15.5 菜单上的编译器选项

15.6 本章小结

15.7 练习十五

第十六章 错误与异常处理

16.1 异常处理和错误俘获

16.2 项读入程序的错误处理

16.3 中止控制

16.4 改进的.EXE文件错误控制

16.5 本章小结

16.6 练习十六

第二部分 PDC Prolog高级程序设计技术

第十七章 高级程序设计技术

17.1 流分析及其控制

17.2 指针域

17.2.1 声明指针域

17.2.2 指针域和尾数组

17.2.3 指针域的使用

17.2.4 例子

17.3 动态截断

17.3.1 关于动态截断的例子

17.3.2 用指针域实现二叉树

17.3.3 利用指针域排序

17.4 程序设计风格

17.4.1 提高程序设计效率的原则

17.4.2 使用谓词fail

17.4.3 确定性与非确定性：设置cut

17.5 PDC Prolog的内存管理

17.5.1 释放空闲的内存资源

17.5.2 控制内存分配

17.6 生成可执行的独立程序

17.7 模块化程序设计

17.7.1 工程

17.7.2 全局声明

17.7.3 编译和连接模块

17.7.4 例子

第十八章 与其他语言的接口

18.1 从PDC Prolog中调用其他语言

18.1.1 准备工作

18.1.2 命名约定

18.1.3 从PDC Prolog中调用C过程

18.1.4 Turbo C编译器选项和连接

18.1.5 从PDC Prolog中调用汇编例程

18.2 从其他语言调用PDC Prolog

18.2.1 动态存储分配

18.2.2 向其他语言传递复合对象

第十九章 消息管道

19.1 消息管道的工作原理

19.2 服务程序和客户程序

19.3 出错条件和出错处理

19.4 终止连接

19.5 高级谓词

19.6 一个简单的远程外壳例子

第二十章 操作系统级程序设计

20.1 访问操作系统

20.2 定时服务

20.3 位级操作

20.4 访问硬件的低级支持

20.5 本章小结

第三部分 PDC Prolog程序设计实例

第二十一章 Prolog程序实例

21.1 建造一个小型的专家系统

21.2 原型开发：一个简单的路径问题

21.3 危险洞穴探险

21.4 硬件仿真

21.5 Hanoi塔

21.6 单词的音节划分

21.7 N皇后问题

21.8 键盘的使用

21.8.1 读入与识别键

21.8.2 一个简单的域编辑器

21.8.3 使用inkey谓词

第四部分 PDC Prolog程序设计环境

第二十二章 PDC Prolog的安装与启动

22.1 安装程序的功能

22.2 PDC Prolog系统的安装

22.2.1 安装到硬盘上

22.2.2 安装到软盘上

22.2.3 修改操作系统环境

22.3 缺省的键盘布局

22.4 启动PDC Prolog

22.5 菜单与热键

22.5.1 主菜单

22.5.2 下拉菜单

22.5.3 热键与命令键

22.6 PDC Prolog的窗口

22.6.1 Edit窗口

22.6.2 Dialog窗口

22.6.3 Message窗口

22.6.4 Trace窗口

22.7 编辑器简介

22.7.1 在Edit窗口中移动光标

22.7.2 删除文本

22.7.3 文本块处理

22.8 一个示教PDC Prolog程序

22.8.1 在编辑器中输入程序

22.8.2 运行程序

22.8.3 语法出错

22.8.4 将程序存盘

22.8.5 查看磁盘文件

22.8.6 跟踪程序

22.8.7 创建独立的程序

第二十三章 PDC Prolog编辑器

23.1 进入与退出编辑器

23.2 系统编辑器与库编辑器

23.3 编辑窗口状态行

23.4 编辑器命令

23.4.1 光标移动命令

23.4.2 插入和删除命令

23.4.3 查找和替换命令

23.4.4 块操作命令

23.4.5 特殊的块操作功能

23.4.6 文件处理命令

23.4.7 应用程序键

23.4.8 其他命令

23.4.9 全局命令

23.4.10 设计自己的编辑器功能

23.5 PDC Prolog编辑器与Wordstar

第二十四章 PDC Prolog菜单命令详解

24.1 系统配置

24.2 PDC Prolog的菜单结构

24.2.1 选择菜单项

24.2.2 主菜单项概述

24.2.3 热键

24.3 系统窗口

24.3.1 编辑窗口

24.3.2 跟踪窗口

24.3.3 信息窗口

24.3.4 对话窗口

24.3.5 帮助行

24.4 编辑器

24.4.1 在编辑窗口中工作

24.4.2 辅助编辑器

24.5 菜单和命令

24.5.1 Files菜单

24.5.2 Edit命令

24.5.3 Run命令

24.5.4 Compile菜单

24.5.5 Options菜单

24.5.6 Setup菜单

24.6 启动PDC Prolog

24.7 命令行用法

第二十五章 标准谓词详解

第五部分 附录

附录A 与Turbo Prolog的差别

A.1 对Turbo Prolog的改进与提高

A.1.1 OS/2版本

A.1.2 外部数据库系统中的网络支持

A.1.3 内部进程通信

A.1.4 重设计的编辑器

A.1.5 可扩充的编辑器

A.1.6 匹配文件名的新谓词

A.1.7 读写二进制文件

A.1.8 从查找路径中定位文件

A.1.9 目录的删除与创建

A.1.10 文件拷贝谓词

A.1.11 扩充的文件打开谓词

A.1.12 文件名处理

A.1.13 改进的串处理

A.1.14 进程

A.1.15 返回周的序号

A.1.16 返回启动路径和程序名

A.1.17 有关运行时错误的信息

A.1.18 返回可用的EMS数量

A.1.19 改进的窗口控制

A.1.20 命令行编译器

A.1.21 C语言程序可为主程序

A.1.22 用Microsoft C连接C

A.1.23 包含目录

A.1.24 Verbosity选项

A.1.25 Comline的参数

A.1.26 保存选择文件

A.1.27 回车字符

A.1.28 增加的重置大小／移动键

A.1.29 带重复的B＋树

A.1.30 允许多重打开索引的更新

A.1.31 创建B＋树选择符的新拷贝

A.1.32 处理外部数据库中的二进制信息

A.1.33 在REF和串间的转换

A.1.34 对配置的改进控制

A.2 不兼容性

A.2.1 新的配置文件

A.2.2 外部数据库系统的新的二进制格式

A.2.3 不兼容的.SYM文件

A.2.4 errormsg略去五个字符

A.2.5 field＿str不接受换行

A.2.6 删除旧的图形

A.2.7 editmsg/8被改名成edit/8

附录B 错误信息

B.1 错误信息

B.2 运行期间错误

B.3 输入／输出及操作系统错误

B.4 屏幕和窗口错误

B.5 数据库错误

B.6 项读入程序

B.7 编辑器错误

B.8 串处理错误

B.9 Borland图形接口（BGI）

B.10 消息、

B.11 目录浏览器

B.12 装入配置文件

B.13 操作系统错误

附录C 标准谓词索引

参考文献