《IBM-PC机编译型PROLOG语言》求取 ⇩

目录1

第一章　引言1

第二章　启动5

2.1　主菜单5

2.2　例子程序6

2.3　编辑程序9

2.3.1　基本操作9

2.3.2　字块操作9

2.3.3　搜索替换11

2.4　追踪12

2.5　改变窗口设置14

2.5.1　临时改变窗口14

2.5.2　保留窗口构型15

第三章　例子16

3.1 变量18

3.2　对象与关系19

3.3　领域与谓词20

3.4　复合目标22

3.5　无名变量22

3.6 回溯23

3.7　not的用法26

3.8　注解29

3.9　例子29

练习33

第四章　领域、对象与表37

4.1 自由与约束变量37

4.2　标准领域类型39

4.3　复合对象42

4.3.1　复合对象的领域说明43

4.3.2　复合对象的层次表达46

4.4　递归与表48

4.4.1　递归对象51

4.4.2 表52

4.4.3　陈述式与过程式程序设计55

练习57

第五章　搜索61

5.1　合一61

5.2　搜索的控制64

5.3　阻止回溯的截断元素70

练习74

第六章　算术运算、输入输出和调试追踪75

6.1　算术运算75

6.1.1　算术表达式的求值顺序75

6.1.2　比较76

6.1.3　算术函数与谓词80

6.2　输入输出82

6.2.1 写82

6.2.2　读86

6.3　调试追踪89

练习91

第七章　窗口94

7.1　窗口属性94

7.2　窗口设置96

7.3　窗口读写97

7.4　窗口游戏103

7.5　DOS交互108

第八章　图形和声音112

8.1　图形112

8.2　声音120

第九章　文件和串123

9.1　文件控制123

9.2　串130

9.3　类型转换134

9.4 findall和random137

第十章　应用140

10.1 专家系统140

10.2　路径问题146

10.3　洞穴探宝148

10.4 硬件模拟152

10.5　梵塔问题153

10.6　音节划分158

10.7　皇后问题161

10.8　键盘利用164

10.9　美国地理169

第十一章　用户指南219

11.1　系统概貌219

11.2　语言元素220

11.2.1　名字220

11.2.2　程序段222

11.2.3　领域说明223

11.2.4　谓词说明225

11.2.5　子句226

11.3　存贮管理228

11.4　编译指令230

11.4.1 checkk_cmpio230

11.4.2 check_determ231

11.4.3 code231

11.4.4 diagnostics232

11.4.5 include232

11.4.6 nobreak233

11.4.7 nowarnings234

11.4.8 proj ect234

11.4.9 trace和shorttrace234

11.4.10 trail236

11.5 动态数据库237

11.5.1 数据库说明237

11.5.2 事实处理239

11.5.3 文件型数据库241

11.6 参量模式245

11.7.1 堆栈的考虑与尾递归删除247

11.7 程序设计风格247

11.7.2 fail谓词的应用251

11.7.3 截断元素的设置252

117.4 参考领域252

11.8 可执行文件的生成257

11.9 模块程序设计258

11.9.1 工程258

11.9.2 全局领域和全局谓词259

11.9.3 模块的编译和连接260

11.9.4 例子261

11.10 同其它语言的接口262

11.10.1 外部谓词说明263

11.10.2 调用约定与参量263

11.10.3 命名约定264

11.10.4 同汇编语言的交互264

11.10.5 同C、PASCAL和FORTRAN的交互267

11.10.6 低级支撑268

11.11 编辑程序的随机调用271

11.12 列目录与格式输出272

第十二章 参考手册274

12.1 配书软盘274

12.2 启动文件279

12.3 主菜单280

12.3.1 运行命令Run280

12.3.2 编译命令Compiler和选择菜单Opitons281

12.3.3 编辑命令Edit282

12.3.4 文件菜单Files288

12.3.5 设置菜单Setup290

12.4 退出命令292

12.5 语言语法292

12.6 系统限制297

12.7 出错信息297

文献305

索引306