Prolog 高级程序设计PDF电子书下载

目录 1

译者的话 1

第Ⅰ部分　逻辑程序 1

第1章　基本结构 1

1.1 事实 1

1.2 询问 2

1.3 逻辑变元的代换和实例化 2

1.4 存在询问 3

1.5 全称事实 3

1.6 合取询问和共享变元 4

1.7 规则 5

1.8 一个简单的抽象解释器 7

1.9 逻辑程序的含义 9

1.10　小结 10

第2章　数据库程序设计 12

2.1 简单数据库 12

2.2 结构化数据和数据抽象 15

2.3 递归规则 18

2.4 逻辑程序和关系数据库模型 20

2.5 背景 21

第3章　递归程序设计 22

3.1 算术 22

3.2 表 28

3.3 构造递归程序 34

3.4 二叉树 38

3.5 处理符号表达式 41

3.6 背景 45

第4章　逻辑程序的计算模型 46

4.1 合一 46

4.2 逻辑程序的抽象解释器 48

4.3 背景 53

第5章　逻辑程序理论 54

5.1 语义 54

5.2 程序正确性 55

5.3 复杂性 56

5.4 搜索树 57

5.5 逻辑程序设计中的否定 59

5.6 背景 60

第Ⅱ部分　Prolog语言 61

第6章　纯Prolog 61

6.1　Prolog的执行模型 61

6.2 同常规程序设计语言比较 65

6.3 背景 66

第7章　纯Prolog的程序设计 67

7.1 规则顺序 67

7.2 终止问题 68

7.3 目标顺序 69

7.4 冗余解 71

7.5 纯Prolog中的递归程序设计 73

7.6 背景 77

8.1 算术运算的系统谓词 78

第8章　算术运算 78

8.2 进一步讨论算术逻辑程序 79

8.3 将递归转换为迭代 80

8.4 背景 86

第9章　结构验证 87

9.1 类型谓词 87

9.2 存取复合项 89

9.3 背景 94

第10章　元逻辑谓词 95

10.1　元逻辑类型谓词 95

10.2　比较非基项 98

10.3　变量作为对象 99

10.4　元变量机制 101

10.5　背景 101

第11章　截断与否定 102

11.1　绿色截断：表达确定性 102

11.2　尾递归优化 105

11.3　否定 107

11.4　红色截断：省略显式条件 109

11.5　缺省规则 111

11.6　背景 112

第12章　附加逻辑谓词 114

12.1　输入／输出类 114

12.2　程序的存取与处理 116

12.3　存储功能 117

12.4　交互程序 118

12.5　失败驱动的循环 122

12.6　背景 123

第13章　语用学 125

13.1　Prolog程序的效率 125

13.2　程序设计技巧 126

13.3　程序设计风格和格式 129

13.4　程序开发 130

13.5　背景 132

14.1　产生与测试 133

第Ⅲ部分 高级Prolog程序设计技术 133

第14章　非确定性程序设计 133

14.2　随意和未知非确定性 142

14.3　仿真非确定性计算模型 146

14.4 人工智能的经典范例：ANALOGY,ELIZA和McSAM 149

14.5　背景 156

第15章　非完全数据结构 157

15.1　差值表 157

15.2　差值结构 162

15.3　词典 164

15.4　队列 166

15.5　背景 168

第16章　限定子句文法分析 175

16.1　背景 175

第17章　二阶程序设计 176

17.1　集合表达式 176

17.2　集合表达式的应用 179

17.3　其它二阶谓词 186

17.4　背景 187

第18章　检索技术 189

18.1　检索状态空间图 189

18.2　检索博弈树 197

18.3　背景 202

第19章　元解释程序 203

19.1　简单元解释程序 203

19.2　专家系统增强型元解释程序 209

19.3　用于调试的增强型元解释程序 215

19.4　背景 222

第Ⅳ部分　应用 224

第20章　博弈程序 224

20.1　智囊 224

20.2　Nim（余一棋） 227

20.3　Kalah 231

20.4　背景 237

21.1　背景 244

第21章　信贷评估专家系统 244

第22章　方程解算器 245

22.1　方程解算综述 245

22.2　因式分解 246

22.3　分离 247

22.4　多项式 255

22.5　均匀化 257

22.6　背景 259

第23章　编译程序 260

23.1　编译程序概述 260

23.2　分析程序 266

23.3　代码生成程序 268

23.4　汇编程序 272

23.5　背景 274

附录 275

1．参考材料 275

2．系统谓词 281