《IBM PC软件技术资料 人工智能语言TURBO PROLOG2.0》求取 ⇩

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

1.1 Turbo Prolog 2.0系统文件配置1

1.2安装Turbo Prolog 2.0系统3

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

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

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

1.3启动Turbo Prolog9

1.3.1从软盘上运行Turbo Prolog9

1.3.2从硬盘上运行Turbo Prolog9

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

1.4.1主菜单10

1.4.2下拉菜单11

1.4.3“热”键和命令键11

1.5 Turbo Prolog系统窗口12

1.5.1编辑窗口13

1.5.2会话窗口13

1.5.3信息窗口13

1.5.4跟踪窗口13

1.6编辑器速成指南13

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

1.6.2删除正文14

1.6.3字块操作14

1.7建立第一个Turbo Prolog程序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.2在外部连接目标模块19

1.9.3一个简单的测试程序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其他程序段53

3.3.1数据库段53

3.3.2常量段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.3在源程序中嵌入其他源文件65

4.4编译指令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

第六章Borland图形接口：BGI87

6.1什么是BGI？87

6.1.1视频模式简述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画图和着色95

6.5.1画线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.4 RGB显示器颜色控制105

6.6.5有关颜色控制的谓词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图形卡的BGI112

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

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

6.11在程序中使用BGI113

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

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

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

6.12 BGI出错信息115

6.13新的驱动程序116

6.14 2.0版本中的海龟图形谓词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_search152

8.3.7改变数据库的结构153

小结155

第九章与其他语言接口156

9.1从Turbo Prolog调用其他语言156

9.1.1调用前的准备156

9.1.2 Turbo Prolog调用Turbo C过程158

9.1.3 Turbo Prolog调用汇编子程序160

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

9.2从其他语言调用Turbo Prolog167

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跟踪179

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

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

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错误报告级控制：errorlevel186

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

11.5.3确定性与非确定性：设置cut202

11.6 Turbo Prolog的存贮管理203

11.6.1释放空闲的存贮资源203

11.6.2存贮分配控制204

11.7模块化程序设计技术204

11.7.1工程204

11.7.2全局说明205

11.7.3模块的编译和连接206

11.7.4实例206

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

12.1访问DOS208

12.2位级操作211

12.3访问硬件：低层支撑212

小结216

第十三章元程序设计217

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

13.2 Turbo Prolog的设计决策218

13.2.1 Turbo 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 Prolog解释程序235

13.5.1 unify_term235

13.5.2 unify_body237

13.5.3 call240

13.5.4实现跟踪246

13.5.5综合248

13.6专家系统扩充250

13.7正向链253

小结256

附录ATurbo Prolog1.1与2.0的差异257

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

A.1.1全局程序段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.0259

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

主要参考文献276