IBM-PC机编译型PROLOG语言PDF电子书下载

目录 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和random 137

第十章　应用 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_cmpio 230

11.4.2 check_determ 231

11.4.3 code 231

11.4.4 diagnostics 232

11.4.5 include 232

11.4.6 nobreak 233

11.4.7 nowarnings 234

11.4.8 proj ect 234

11.4.9 trace和shorttrace 234

11.4.10 trail 236

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 运行命令Run 280

12.3.2 编译命令Compiler和选择菜单Opitons 281

12.3.3 编辑命令Edit 282

12.3.4 文件菜单Files 288

12.3.5 设置菜单Setup 290

12.4 退出命令 292

12.5 语言语法 292

12.6 系统限制 297

12.7 出错信息 297

文献 305

索引 306