《micro-PROLOG逻辑程序设计语言》求取 ⇩

目录1

绪论1

0.1 为什么用micro-PROLOG编写程序1

0.2 各章内容简介4

第一部分 基本概念7

K．L．Clark，J．R．Ennals F．G．McCade7

第一章 事实和询问7

1.1 开发事实数据库7

1.2 询问17

1.3 算术运算关系23

1.4 询问的求值23

1.5 询问的求值效率36

第二章 规则37

2.1 把询问转换成规则37

2.2 包含规则的询问的求值方法44

2.3 关系的递归描述47

第三章 表56

3.1 把表作为句子中的个体56

3.2 取出定长表的元素57

3.3 取出未知长度的表的元素60

3.4 表的长度65

3.5 把回答的集合构成表71

4.1 否定条件75

第四章 询问和规则中的复合条件75

第二部分 使用micro-PROLRG的逻辑程序设计75

K．L．Clark F．G．McCabe75

4.2 isall条件80

4.3 forall条件84

4.4 or条件86

4.5 表达式条件88

4.6 用is-told询问用户95

4.7 注释条件99

第五章 表处理102

5.1 append关系102

5.2 使用append的规则105

5.3 sort关系的递归定义109

5.4 表函数112

第六章 语法分析导论114

6.1 对表示为单字表的句子进行语法分析114

6.2 另一个语法分析程序118

6.3 表差对的一般性应用120

第七章 一些必须考虑的实际问题123

7.1 限制一个条件只有一个解123

7.2 用“／”条件控制回溯125

7.3 询问栈和节省空间128

7.4 尾递归定义129

7.5 模块的应用132

第八章 元逻辑程序设计136

8.1 作为变量的关系名字和变元表136

8.2 检验所用条件的元程序139

8.3 操纵别的程序的程序141

8.4 作为命令的一元关系147

第三部分 micro-PROLOG的内部表示155

K．L．Clark F．G．McCade155

第九章 micro-PROLOG的标准句法155

9.1 原子（Atoms）和子句（Clauses）156

9.2 用标准句法设计程序158

9.3 把句子分析成子句162

9.4 在标准句法程序中的元变量164

9.5 访问子句的原语CL169

第四部分 micro-PROLOG的应用169

第十章 关键路径分析程序173

F．Kriwaczek173

前言173

10.1 问题的陈述173

10.2 用micro-PROLOG定义概念175

10.3 使用引理180

10.4 关键路径分析程序182

11.2 MYCIN专家系统185

11.1 前言185

P．Hammond185

第十一章 用于专家系统的micro-PROLOG185

11.3 用micro-PROLOG表示知识186

11.4 一个简单的对话骨架189

11.5 复杂一些的骨架193

11.6 “why”解释195

11.7 “how”解释198

11.8 “whynot”解释201

第十二章 二人博弈的逻辑204

M．H．van Emden K．L．Clark204

12.1 前言204

12.2 博弈树、强迫树和最小最大原理206

12.3 阈值和Alpha-Beta修剪（α-β修剪）212

12．结束语215

第十三章 micro-PROLOG用于问题求解218

R．A．Kowalski M．J．Sergot218

前言218

13．利用搜索的问题求解218

13.2 寻求路径的另一种表示形式221

13.3 其它的搜索策略226

13.4 带有环检测的搜索229

13.5 盲目搜索与专家知识的对比231

练习答案233

名词索引257