微型机Micro-PROLOG语言及应用PDF电子书下载

目录 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