绪论 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和McSAM 200
§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 拾火柴棍游戏Nim 281
§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