目录 1
第零章 绪论 1
0.1 入门知识介绍 1
0.2 各章说明 4
14.1 引言 （22 6
第一部分 基本概念 7
1.1 建立事实数据库 7
第一章 事实和询问 7
1.2 询问 17
1.3 算术关系 24
1.4 询问的求解 28
1.5 询问的效率 36
2.1 把询问转化为规则 37
第二章 规则 37
2.2 怎样求解含有规则的询问 45
2.3 关系的递归说明 48
3.1 表作为独立单位 57
第三章 表 57
3.2 寻求定长表的成员 58
3.3 寻求不定长表的成员 61
3.4 表的长度 68
3.5 表形式答案的集合 75
第二部分 用micro-PROLOG进行逻辑程序设计 78
第四章 询问和规则中的复合条件 78
4.1 否定条件 78
4.2 isall条件 83
4.3 forall条件 86
4.4 or条件 89
4.5 表达式条件 90
4.6 使用is-told向用户询问 96
4.7 注释条件 101
第五章 表处理 103
5.1 附加（append）关系 103
5.2 使用附加（append）规则 107
5.3 排序关系的递归描述 110
5.4 表函数（List functions） 113
第六章 语法分析 115
6.1 分析表示为词表的句子 115
6.2 另一种分析程序 119
6.3 差别对的一般应用 121
第七章 一些实际的考虑 123
7.1 求解的限制条件 123
7.2 用／条件控制回溯 125
7.3 询问堆栈和节省空间 128
7.4 尾部递归定义 129
7.5 模块的应用 132
第八章 元逻辑程序设计 135
8.1 以变量作为关系名和自变量表 135
8.2 检测所用条件的元程序 139
8.3 处理其他程序的程序 140
8.4 作为命令的一元关系 146
9.1 原子和子句 154
第九章 micro-PROLOG的标准语法 154
第三部分 核心micro-PROLOG 154
9.2 以标准语法编程 156
9.3 把句子分析为子句 160
9.4 标准语法程序中的元变量 162
9.5 访问原语的子句CL 168
第四部分 micro-PROLOG的应用 170
第十章 关键路径程序分析 170
10.1 问题的提出 170
10.2 micro-PROLOG中定义概念 172
10.3 使用引理 176
10.4 关键路径分析程序 178
11.2 MYCIN专家系统 181
11.1 引言 181
第十一章 micro-PROLOG专家系统 181
11.3 micro-PROLOG里的知识表示 182
11.4 一个简单会话形式shell 184
11.5 一个更完善的shell形式 187
11.6 “why”说明 189
11.7 “how”说明 192
11.8 “whynot”说明 195
第十二章 两人博弈逻辑 198
12.1 引言 198
12.2 博弈树、强化树和极小极大原理 200
12.3 阈值和α-β删除 206
12.4 结论性评述 209
13.1 通过搜索解答问题 210
第十三章 用micro-PROLOG求解问题 210
13.2 寻找路径的另一种公式 212
13.3 另一种搜索策略 218
13.4 引入环路检测 220
13.5 根据经验强制搜索 221
13.6 八皇后 223
第五部分 应用再举例和问题探讨 226
第十四章 在逻辑电路自动诊断中的应用 226
14.2 电路的模拟 227
14.3 电章3 电路的检测 233
14.4 讨论 242
15.1 micro-PROLOG整体结构 243
第十五章 探讨几个问题 243
15.2 SIMPLE系统数据类型和数据结构 244
15.3 micro-PROLOG的时空观 245
15.4 micro-PROLOG与常规语言的等价功能和数据结构 247
15.5 最短路径 248
第六部分 附录 252
附录一 练习答案 252
附录二 上机参考手册摘录 278
一、SIMPLE 278
二、核心micro-PROLOG 283
三、DEC-10Prolog系统的子集 286
附录三 修理收音机专家系统 288
附录四 有关PROLOG语言的其他新书 289