最新TURBO PROLOG使用大全 上 程序员必读PDF电子书下载

前言 1

第一章系统的安装、启动及其使用入门 1

1.1 Turbo Prolog 2.0系统文件配置 1

目录 1

1.2安装Turbo Prolog2.0系统 3

1.2.1在双软盘系统上安装Turbo Prolog 2.0 4

1.2.2在带硬盘的系统上安装Turbo Prolog 2.0 5

1.2.3有关安装Turbo Prolog 2.0的新信息 6

1.3.2从硬盘上运行Turbo Prolog 9

1.4菜单和“热”键速成指南 9

1.3启动Turbo Prolog 9

1.3.1从软盘上运行Turbo Prolog 9

1.4.1主菜单 10

1.4.2下拉菜单 11

1.4.3“热”键和命令键 11

1.5 Turbo Prolog系统窗口 12

1.6编辑器速成指南 13

1.5.4跟踪窗口 13

1.6.1在编辑窗口内移动光标 13

1.5.1编辑窗口 13

1.5.3信息窗口 13

1.5.2会话窗口 13

1.6.2删除正文 14

1.6.3字块操作 14

1.7建立第一个Turbo Ptolog程序 14

1.7.1在编辑窗口输入程序 15

1.7.2运行程序 15

1.7.3修改程序 15

1.7.4程序记盘 16

1.7.5浏览盘上的文件 16

1.8跟踪程序 17

1.9在软盘系统上建立可执行程序 18

1.9.1在环境内进行连接 18

1.9.3一个简单的测试程序 19

1.9.2在外部连接目标模块 19

第二章Turbo Prolog的用户接口 21

2.1告Turbo Prolog 1.x版本的使用者 21

2.2 Turbo Prolog 2.0的菜单结构 21

2.2.1怎样选择菜单项 23

2.2.2主菜单项概要 23

2.3系统窗口和提示行 23

2.3.1 Edit窗口 23

2.3.2 Trace窗口 25

2.3.3 Message窗口 25

2.3.4 Dialog窗口 26

2.3.5提示行 26

2.4编辑器 28

2.4.1 Edit窗口的功用 28

2.4.2辅助编辑器 30

2.5菜单和命令 31

2.5.1 Files菜单 31

2.5.2 Edit命令 32

2.5.3 Run命令 33

2.5.4 Compile菜单 34

2.5.5 Options菜单 34

2.5.6 Setup菜单 37

第三章Turbo Prolog程序结构 42

3.1 Turbo Prolog的基本程序段 42

3.1.1子句段 43

3.1.2谓词段 43

3.1.3域段 45

3.1.4目标段 47

3.2说明和规则的进一步讨论 48

3.2.1谓词说明中参数的类型化 49

3.2.2同名不同元谓词 51

3.2.3规则语法 52

3.2.4自动类型转换 52

3.3.2常量段 53

3.3.1数据库段 53

3.3其他程序段 53

3.3.3全局段 54

3.3.4编译指令 54

小结 54

第四章Turbo Prolog语言的基本元素 57

4.1名 57

4.1.1关键字 57

4.1.2特别处理的谓词 57

4.2程序段 58

4.2.1域段 58

4.2.2谓词段 60

4.2.3数据库段 61

4.2.4子句段 61

4.2.5常量段 63

4.2.6条件编译 64

4.4编译指令 65

4.3在源程序中嵌入其他源文件 65

第五章窗口程序设计 70

5.1基本窗口处理 70

5.1.1设置屏幕显示属性 70

5.1.2基本窗口处理谓词 71

5.1.3实例 72

5.2一个使用窗口的猜词游戏 74

5.3高级窗口处理 76

5.3.1高级窗口处理谓词 76

5.3.2基于屏幕的输入输出 79

5.4一个简单的交战游戏 80

5.5在程序中使用编辑器和目录 83

5.5.1有关的谓词 83

5.5.2使用编辑器和文件目录的例子 85

小结 86

6.1什么是BGI？ 87

6.1.1视频模式简述 87

第六章Borland图形接口：BGI 87

6.1.2视见区简述 88

6.1.3 GRAPDECL.PRO文件 88

6.2运行BGI演示程序 89

6.3初始化和关闭BGI系统 89

6.3.1有关初始化和关闭图形系统的谓词 90

6.3.2实例 93

6.4当前位置（CP）及其谓词 94

6.5.1画线 95

6.5画图和着色 95

6.5.2画圆 96

6.5.3画矩形、多边形和条形图 99

6.5.4填充 100

6.6颜色控制 102

6.6.1调色板 102

6.6.2关于CGA的颜色控制 103

6.6.3关于EGA的颜色控制 104

6.6.5有关颜色控制的谓词 105

6.6.4 RGB显示器颜色控制 105

6.7在图形模式下输出正文 106

6.7.1字符字体 106

6.7.2图形模式下输出正文的BGI谓词 107

6.8屏幕视见区及其处理谓词 110

6.8.1有关屏幕和视见区图形谓词 110

6.8.2实例 111

6.9象素、图像及其处理谓词 112

6.10使用带RGB图形卡的BGI 112

6.10.1 RGB图形卡及其相关谓词 112

6.10.2使用8514驱动程序的限制 113

6.11在程序中使用BGI 113

6.11.1图形驱动程序和字符字体 113

6.11.2运行时刻装入图形驱动程序的例子 114

6.11.3建立和运行独立的BGI可执行程序 115

6.12 BGI出错信息 115

6.14 2.0版本中的海龟图形谓词 116

6.13新的驱动程序 116

第七章内部数据库 118

7.1内部数据库的说明 118

7.2内部数据库的维护 119

7.2.1在运行时刻加入事实 119

7.2.2在运行时刻删除事实 120

7.2.3同时删除几个事实 121

7.2.4在运行时刻从文件中读入新的事实 122

7.2.5在运行时刻存贮事实数据库 122

7.3使用内部数据库的实例 123

7.3.1事实的插入和删除 123

7.3.2事实的修改 124

小结 126

第八章外部数据库系统 127

8.1 Turbo Prolog的外部数据库 127

8.1.1什么是外部数据库？ 127

8.1.2链 129

8.1.3外部数据库域 130

8.1.4操纵整个外部数据库 131

8.1.5链操作谓词 134

8.1.6项操作谓词 135

8.1.7一个完整的实例程序 135

8.2 B+树 139

8.2.1页面、？和关键字长度 139

8.2.2重复关键字 139

8.2.3多重搜索 140

8.2.4处理B+树的标准谓词 140

8.2.5通过B+树存取数据库的实例 141

8.3外部数据库程序设计 143

8.3.1搜索外部数据库 143

8.3.2显示数据库内容 145

8.3.3故障恢复 147

8.3.4更新数据库 147

8.3.5使用内部的B+树指针 151

8.3.6使用带重复关键字的key_？earch 152

8.3.7改变数据库的结构 153

小结 156

第九章与其他语言接口 156

9.1从Turb0 Prolog调用其他语言 156

9.1.1调用前的准备 156

9.1.2 Turbo Prolog调用Turbo C过程 158

9.1.3Turbo Prolog调用汇编子程序 160

9.1.4Turbo Prolog 2.0与MS Fortran 4.0的接口 162

9.2从其他语言调用Turbo Prolog 167

9.2.1动态存贮分配 169

9.2.2传递复合对象到其他语言的程序 170

9.2.3实例 171

9.2.4表处理实例 172

9.2.5低层程序设计的实例 174

第十章程序的跟改与词试 177

10.1语法和类型检查 177

10.2.1跟踪指令及其使用实例 179

10.2跟踪 179

10.2.2在优化模式下进行跟踪：shorttrace 180

10.2.3跟踪指定谓词 181

10.2.4保存跟踪输出 182

10.2.5 trace谓词及其使用 182

10.2.6交互式跟踪控制 183

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

10.2.8一个跟踪的实例 183

10.3调试编译指令 184

10.4运行时刻错误报告 186

10.4.1错误报告级控制：errorlevel 186

10.4.2从菜单设置的编译选择项 187

小结 187

第十一章高级程序设计技术 188

11.1错误、异常及中止 188

11.1.1异常处理和错误捕获 188

11.1.2项读入程序的错误处理 190

11.1.3中止控制 191

11.1.4改进的.EXE文件错误控制 192

11.2流分析及其控制 193

11.3指针域 194

11.3.1指针域的说明 195

11.3.2指针域和尾数组 195

11.3.3使用指针域 196

11.4动态截断 197

11.4.1动态截断谓词的使用 197

11.4.2用指针域实现二叉树 198

11.4.3用指针域排序 199

11.5程序设计风格 200

11.5.1提高程序效率的规则 200

11.5.2使用谓词fail 202

11.5.3确定性与菲确定性：设置cut 202

11.6.1释放空闲的存贮资源 203

11.6Turbo Prolog的存贮管理 203

11.6.2存贮分配控制 204

11.7模块化程序设计技术 204

11.7.1工程 204

11.7.2全局说明 205

11.7.3模块的编译和连接 206

11.7.4实例 206

12.1访问DOS 208

第十二章系统级程序设计 208

12.2位级操作 211

12.3访问硬件：低层支撑 212

小结 216

第十三章无程序设计 217

13.1 Prolog/Turbo Prolog：演化与宗旨 217

13.2 Turbo Prolog的设计决策 218

13.2.1Turbo Prolog承担的任务 219

13.3反向链规则解释程序 219

13.3.1项（规则解释程序的燃料） 220

13.3.2变量与环境 223

13.3.3静态项和实际项的合一 225

13.3.4规则体的解释 228

13.3.5内部谓词 231

13.4扫描程序和语法分析程序 233

13.4.1传统Prolog中的运算符 234

13.4.2以Turbo Prolog方式使用运算符 234

13.5.1 unify_term 235

13.5 Prolog解释程序 235

13.5.2 unify_body 237

13.5.3 call 240

13.5.4实现跟踪 246

13.5.5综合 248

13.6专家系统扩充 250

13.7正向链 253

小结 256

A.1.1全局程序段 257

附录A Turbo Prolog1.1与2.0的差异 257

A.1在2.0版系统下编译1.x版的程序 257

A.1.2非确定的全局谓词 258

A.1.3工程定义文件 258

A.1.4新的系统保留字 258

A.1.5新的预定义域 258

A.1.6复合流模式检测 258

A.1.7保留原有的编辑命令键 259

A.1.8标准谓词的出错情形 259

A.1.9在Turbo Prolog 2.0下使用Turbo Prolog Toolbox 1.0 259

A.2 Turbo Prolog 2.0版本的改进 260

A.2.1系统功能的增强 261

A.2.2语言方面的变化 262

A.2.3新增的标准谓词 263

A.2.4 EXE文件出错控制的扩充 265

附录B出错信息 266