Turbo prolog 2.0用户手册PDF电子书下载

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