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

绪论1

目录1

第一篇 逻辑程序的基础——数理逻辑4

第一章 命题演算4

§1.1 命题与结构4

§1.2 命题公式及其解释6

§1.3 命题公式的性质7

§1.4 范式9

§1.5 逻辑推理理论10

第二章 谓词13

§2.1 谓词和量词13

§2.2 一阶谓词公式及其解释15

§2.3 前束范式和等价公式17

§2.4 一阶谓词演算的推理理论19

§3.1 逻辑的子句型22

第三章 逻辑的子句型22

§3.2 逻辑的标准型到子句型的转换24

§3.3 归结原理27

§3.4 Horn子句31

第二篇 逻辑程序33

第四章 逻辑程序的基本结构33

§4.1 事实语句与询问语句34

§4.2 变量36

§4.3 存在询问与全称事实37

§4.4 合取询问和共享变量38

§4.5 规则语句39

§4.6 一个简易的抽象解释器41

§4.7 逻辑程序的含义44

§4.8 小结45

§5.1 简单的数据库46

第五章 数据库程序设计46

§5.2 结构化的数据和数据抽象50

§5.3 递归规则54

§5.4 逻辑程序和关系数据库模型55

第六章 递归程序设计57

§6.1 算术57

§6.2 表64

§6.3 递归程序的组成71

§6.4 二叉树75

§6.5 符号表达式的运算和处理78

第七章 逻辑程序的计算模型84

§7.1 合一84

§7.2 逻辑程序的抽象解释程序87

第八章 逻辑程序理论93

§8.1 语义93

§8.2 程序的正确性94

§8.3 复杂性95

§8.4 搜索树96

§8.5 逻辑程序设计中的否定98

§8.6 逻辑程序与自动编程99

第三篇 Prolog语言102

第九章 纯Prolog语言及其程序设计102

§9.1 Prolog的计算模型102

§9.2 Prolog与传统程序语言的比较105

§9.3 纯Prolog的程序设计107

§9.4 纯Prolog的递归程序设计114

§9.5 Prolog的起源与发展119

第十章 算术121

§10.1 算术系统谓词121

§10.2 算术逻辑程序122

§10.3 递归转化为迭代123

§11.1 类型谓词——项分类130

第十一章 结构检验130

§11.2 存取复合项132

第十二章 元逻辑谓词139

§12.1 元逻辑类型谓词139

§12.2 比较非基项143

§12.3 变量作为对象144

§12.4 元变量146

第十三章 截断算子和否定147

§13.1 绿色截断算子：表示确定性147

§13.2 尾递归优化151

§13.3 否定152

§13.4 红色截断算子：省略明显的条件155

§13.5 缺省规则158

第十四章 外逻辑谓词160

§14.1 输入／输出160

§14.2 程序的存取和处理162

§14.3 记忆函数（Memo—function）164

§14.4 交互程序165

§14.5 失败驱动的循环170

第十五章 语用学172

§15.1 Prolog程序的效率172

§15.2 编程技巧175

§15.3 编程风格和布局178

§15.4 程序的研制179

第四篇 Prolog高级程序设计技术182

第十六章 非确定性程序设计182

§16.1 产生和测试182

§16.2 “不管”（don’t-care）或“不知”（don’t-know）的一类非确定性191

§16.3 模拟非确定性计算模型197

§16.4 几个古典的人工智能题目：ANALOGY，ELIZA和McSAM200

§17.1 差异表（difference-structures）209

第十七章 不完全数据结构209

§17.2 差异结构215

§17.3 字典216

§17.4 队（Queues）218

第十八章 用确定性子句文法的语法分析220

第十九章 二阶编程227

§19.1 集合表达式227

§19.2 集合表达式的应用231

§19.3 其它二阶谓词238

第二十章 搜索技术241

§20.1 状态空间图的搜索241

§20.2 搜索游戏树250

第二十一章 元解释器256

§21.1 简单的元解释器256

§21.2 适用于专家系统的扩展元解释器262

§21.3 用于调试的增强型的元解释器270

第五篇 应用278

第二十二章 逻辑智力游戏程序278

§22.1 精密码智力游戏278

§22.2 拾火柴棍游戏Nim281

§22.3 Tic-Tac-Toe游戏285

§22.4 S先生与P先生谜题290

§22.5 骑士周游问题——试探与回溯294

第二十三章 信贷评估专家系统298

第二十四章 方程求解程序305

§24.1 方程求解概述305

§24.2 因子分解306

§24.3 分离法307

§24.4 多项式方法316

§24.5 齐次化318