《Turbo prolog 2.0用户手册》求取 ⇩

0.1 关于Prolog1

引言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 Prolog7

1.2.1 在只带软盘驱动器的系统中安装7

1.2.2 在带硬盘的系统中安装8

1.3 本手册的使用9

2.2.1 主菜单11

2.2 菜单和热键的速成指南11

2.1 装入Turbo Prolog11

第二章 启动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 禁止回溯：cut64

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 用优化模式跟踪：shorttrace145

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 访问DOS230

16.2 位级操作233

16.3 访问硬件：低层支撑234

16.4 小结238

第十七章 Bortand图形接口：BGI239

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图形卡的BGI263

17.11 在程序中使用BGI264

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 使用谓词inkey285

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