《Prolog 高级程序设计》求取 ⇩

目录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章　纯Prolog61

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和McSAM149

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　Kalah231

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