《PROLOG语言程序设计》

前言1

第一章初步知识4

1.1 事实5

1.2 问题6

1.3 变量7

1.4 联结词9

1.5 规则12

1.6 小结与练习16

第二章深入探讨18

2.1 语法18

2.2 字符20

2.3 运算符21

2.4 等号22

2.5 运算24

2.6 满足目标的小结27

第三章使用数据结构30

3.1 结构与树30

3.2 表31

3.3 表的成员34

3.4 例：改写句子36

3.5 例：字母排序38

3.6 例：部件清单40

第四章回溯与“CUT”操作43

4.1 多重解的产生43

4.2 “cut”操作47

4.2 “cut”的一般用法49

4.4 “cut”引起的问题57

第五章输入与输出95

5.1 项的读写60

5.2 读写字符63

5.3 读英语句子64

5.4 读写文件66

5.5 运算符的说明68

第六章内部谓词70

6.1 加入新的子句70

6.2 成功与失败72

6.3 项的分类73

6.4 把子句作为项76

6.5 一般结构中分量的建立与获得81

6.6 影响回溯的情况86

6.7 建立复杂目标88

6.8 等式90

6.9 输入与输出92

6.10 对文件的操作93

6.11 算术表达式的求值94

6.12 数的比较94

6.13 监视PROLOG的工作95

第七章一些程序例子96

7.1 分类树字典96

7.2 探索迷宫98

7.3 汉诺塔100

7.4 改进的部件清单101

7.5 表处理103

7.6 集合的描述与处理105

7.7 排序107

7.8 断言及取消断言：随机数、符号生成、遍历109

7.9 图搜索113

7.10 求素数116

7.11 符号微分118

7.12 数的映射与变换119

第八章PROLOG程序的调试122

8.1 安排程序122

8.2 常见错误125

8.3 另一个控制流模式126

8.4 跟踪及监测点131

8.5 改正错误137

第九章使用文法规则139

9.1 分析问题139

9.2 用PROLOG描述分析问题141

9.3 文法规则标记法144

9.4 增添附加自变量146

9.5 增添附加测试149

9.6 小结151

第十章PROLOG和逻辑的关系154

10.1 谓词演算的简单导引154

10.2 子句形式156

10.3 子句标记法160

10.4 消解及定理证明161

10.5 Horn子句163

10.6 PROLOG164

10.7 PROLOG与逻辑程序设计166

第十一章PROLOG实用程序设计168

11.1 简单课题168

11.2 高级课题170

附录：173

附录A部分习题答案173

附录B 子句形式转换为PROLOG程序178

附录C ASCII编码183

附录D PROLOG的不同版本185

附录E DEC SyStem—10 PROLOG系统187

附录F PDP—11 UNIX PROLOG系统194

附录G LSI—11RT—11系统199

附录H 2980EMAS PROLOG系统203

附录I 其他PROLOG系统204