0.1 关于Prolog 1
引言 1
0.1.1 Turbo Prolog可以用来做什么 2
0.1.2 Turbo Prolog与其它语言有何不同？ 2
0.1.3 最低系统要求 4
0.1.4 硬件支持 4
0.2 关于Turbo Prolog 2.0手册 4
0.3 软件配置 5
1.1 制作备份 6
第一章 Turbo Prolog 2.0的安装 6
1.0 磁盘文件配置 6
1.2 安装Turbo Prolog 7
1.2.1 在只带软盘驱动器的系统中安装 7
1.2.2 在带硬盘的系统中安装 8
1.3 本手册的使用 9
2.2.1 主菜单 11
2.2 菜单和热键的速成指南 11
2.1 装入Turbo Prolog 11
第二章 启动 11
2.2.2 下拉菜单 12
2.2.3 热键和命令键 13
2.3 Turbo Prolog的窗口 14
2.3.1 编辑窗口 14
2.3.2 对话窗口 14
2.3.3 信息窗口 14
2.3.4 跟踪窗口 15
2.4 编辑器速成指南 15
2.4.1 在编辑窗口中移动光标 15
2.4.2 正文删除 15
2.4.3 字块操作 16
2.5 第一个Turbo Prolog程序 16
2.5.1 在编辑窗口中输入程序 16
2.5.5 当有语法错误时，会发生什么？ 17
2.5.4 运行程序 17
2.5.3 在编辑器内滚动正文 17
2.5.2 改正键人错误 17
2.5.6 程序存盘 18
2.5.7 浏览盘上的文件 18
2.6 跟踪程序 18
2.7 软盘用户生成可执行程序 19
2.7.1 测试程序 20
3.1.1 句子：事实和规则 21
3.1 逻辑程序设计 21
第三章 Prolog其础知识 21
3.1.2 事实：己知的事物 22
3.1.3 规则：从给定的事实推出另外的事实 22
3.1.4 询问 22
3.1.5 变量：一般句子 25
3.1.6 小结 25
3.2 从自然语言到Prolog程序 26
3.2.1 子句(事实和规则) 26
3.2.3 变量(一般子句) 29
3.2.2 谓词(关系) 29
3.2.4 目标(询问) 32
3.2.5 注释 34
3.2.6 什么是匹配 34
3.2.7 小结 35
第四章 Turbo Prolog程序设计 37
4.1 Turbo Prolog基本程序段 37
4.1.1 子句段 37
4.1.2 谓词段 37
4.1.3 域段 39
4.1.4 目标段 41
4.2 说明和规则的进一步讨论 42
4.2.1 在谓词说明定义变元类型 43
4.2.2 同名不同元谓词 45
4.2.3 规则语法 46
4.2.4 自动类型转换 46
4.3.2 常量段 47
4.3.1 数据库段 47
4.3 其它程序段 47
4.3.3 全局段 48
4.3.4 编译指令 48
4.4 小结 49
第五章 合一与回溯 51
5.1 匹配操作：合一 51
5.2 回溯 53
5.2.1 Turbo Prolog求解的彻底性 54
5.2.2 回溯的详细讨论 57
5.2.3 回溯的四个基本原理 57
5.2.4 带内部目标的回溯 60
5.3 控制解的搜索 62
5.3.1 fail谓词的使用 63
5.3.2 禁止回溯：cut 64
5.3.3 not谓词 69
5.4.1 规则和事实与过程的相似点 73
5.4 Prolog的过程观点 73
5.5 小结 77
第六章 简单对象与复合对象 78
6.1 简单数据对象 78
6.1.1 变量作为数据对象 78
6.1.2 常量作为数据对象 78
6.2 复合数据对象和因子 79
6.2.1 复合对象的合一 80
6.2.2 把几个项看成一个 81
6.2.3 复合对象的说明域 85
6.2.4 复合的混合域的说明 88
6.3 复合对象的比较 89
6.4 本章小结 90
第七章 循环与递归 91
7.1 循环过程 91
7.1.1 回溯再讨论 91
7.1.2 用循环执行回溯 94
7.1.3 递归过程 95
7.1.4 尾递归 96
7.1.5 变元用作循环变量 101
7.2 递归数据结构 104
7.2.1 数据类型：树 104
7.2.2 二叉搜索树 109
7.3 小结 115
第八章 表与递归 116
8.1 什么是表？ 116
8.1.1 表的说明 116
8.2 表处理 118
8.3 表的使用 118
8.3.1 表的输出 118
8.3.2 表元素统计 119
8.3.4 表的成员判断 123
8.3.3 再谈表尾递归 124
8.3.5 将一个表附加在另一表后：程序设计的陈述性和过程性 124
8.4 一次求出所有的解 126
8.5 复合表 127
8.5.1 用不同表进行的语法分析 129
8.6 小结 132
第九章 内部数据库 134
9.1 内部数据库的使用 134
9.2 内部数据库的说明 134
9.3 内部数据库的更新 135
9.3.1 运行时添加事实 135
9.3.2 运行时删除事实 136
9.3.4 运行时从一个文件中读入新的事实 137
9.3.3 一次删除几个事实 137
9.3.5 运行时存储一个事实数据库 138
9.4 小结 141
第十章 跟踪和调试 142
10.1 语法与类型检查 142
10.2 跟踪 143
10.2.1 跟踪指令 143
10.2.3 跟踪指定谓词 145
10.2.2 用优化模式跟踪：shorttrace 145
10.2.4 保存跟踪输出 146
10.2.5 trace谓词的使用 147
10.2.6 交互式跟踪控制 147
10.2.7 跟踪状态下一些特殊谓词的处理 148
10.2.8 一个跟踪的例子 148
10.3 调试用编译指令 149
10.4 运行时刻报告错误 150
10.5 本章小结 151
第十一章 算术与比较 152
11.1 算术表达式 152
11.1.1 算术运算 152
11.1.2 求值顺序 152
11.2 函数和谓词 153
11.2.1 随机数发生器 153
11.2.2 整型和实型算术 154
11.3 比较 156
11.3.1 等式和谓词(=) 157
11.3.2 比较字符、串与符号 159
11.4 本章小结 159
第十二章 文件的读写 160
12.1 写和读 160
12.1.1 写 160
12.1.2 读 165
12.2 Turbo Prolog文件系统 167
12.2.1 打开和关闭文件 168
12.2.2 重定向标准输入/输出 170
12.2.3 文件操作 170
12.3 扩展数据库到文件上 173
12.3.1 类项事实的操作 174
12.4 小结 178
第十三章 串处理 180
13.1 串处理 180
13.1.1 基本串处理谓词 180
13.2 类型转换 182
13.3 小结 185
第十四章 在程序中设置窗口 187
14.1 基本窗口处理 187
14.1.1 设置屏幕显示属性 187
14.1.2 基本屏幕处理谓词 188
14.2 一个使用窗口的猜字游戏 191
14.3 高级窗口处理 193
14.3.1 谓词 193
14.3.2 基于屏幕的输入和输出 197
14.4 一个简单的交战游戏 198
14.5 在程序中使用编辑器和目录 201
14.6 小结 204
第十五章 外部数据库系统 206
15.1 Turbo Prolog的外部数据库 206
15.1.1 什么是外部数据库 206
15.1.2 链 207
15.1.3 外部数据库域 208
15.1.4 对整个外部数据库进行操作 209
15.1.5 链操作谓词 211
15.1.6 项操作谓词 212
15.1.7 一个完整的例子程序 213
15.2 B+树 216
15.2.1 页面、序和关键字长度 216
15.2.2 双重关键字 216
15.2.3 多重搜索 216
15.2.4 处理B+树的标准谓词 217
15.2.5 通过B+树存取数据库的例子 218
15.3 有关外部数据库的程序设计 219
15.3.1 搜索外部数据库 220
15.3.2 显示数据内容 221
15.3.3 使数据库内容不受破坏 222
15.3.4 更新数据库 223
15.3.5 使用内部B+树的内部指针 225
15.3.6 改变数据库结构 227
15.4 小结 229
第十六章 系统级程序设计 230
16.1 访问DOS 230
16.2 位级操作 233
16.3 访问硬件：低层支撑 234
16.4 小结 238
第十七章 Bortand图形接口：BGI 239
17.1 什么是BGI？ 239
17.1.1 视频模式介绍 239
17.1.2 视区介绍 240
17.2 运行演示程序 240
17.3 初始化和关闭BGI系统 241
17.3.1 有关初始化和关闭图形系统的谓词 241
17.3.2 例子 245
17.4 当前位置及其操作谓词 246
17.5 画图和着色 246
17.5.1 画线 247
17.5.2 画圆 248
17.5.3 画矩形、多边形和条形图 250
17.5.4 填充 251
17.6 颜色控制 253
17.6.1 调色板 253
17.6.2 关于CGA的颜色控制 254
17.6.3 关于EGA的颜色控制 255
17.6.4 RGB显示器颜色控制 256
17.6.5 颜色控制谓词 256
17.7 在图形模式下输出文本 257
17.7.1 字符字体 257
17.7.2 图形模式下输出文本的BGI谓词 258
17.8 屏幕视区及其处理谓词 261
17.9 象素、图像以及处理谓词 263
17.10 使用带RGB图形卡的BGI 263
17.11 在程序中使用BGI 264
17.11.1 图形驱动程序和字体文件 264
17.11.2 运行时装入图形驱动程序 265
17.12 BGI的出错信息 266
17.13 新的驱动程序 267
17.14 2.0版本中的海龟图形谓词 267
第十八章 Prolog程序实例 269
18.1 构造一个小型专家系统 269
18.2 原型速成：一个简单的线路问题 272
18.3 危险山洞冒险 273
18.4 硬件仿真 275
18.5 Hanoi塔 276
18.6 词的音节划分 278
18.7 N皇后问题 280
18.8 键盘使用 283
18.8.1 读入并识别键 283
18.8.2 一个简单的字母编辑器 284
18.8.3 使用谓词inkey 285
19.1.1 异常处理和错误捕获 287
19.1 错误，异常和中断 287
第十九章 高级技术 287
19.1.2 处理项读入错误 288
19.1.3 中断控制 290
19.1.4 EXE文件中改正的错误控制 291
19.2 流分析 292
19.2.1 流分析控制 293
19.3.1 将域说明为指针域 294
19.3.2 指针域和尾数组 294
19.3 指针域 294
19.3.3 使用指针域 295
19.4 动态截断 296
19.4.1 用指针域实现二叉树 297
19.4.2 用指针域实现排序 298
19.5 程序设计风格 299
19.5.1 提高程序效率的原则 299
19.5.2 使用fail谓词 301
19.6 总结 302