《微型机Micro-PROLOG语言及应用》

目录1

第零章 绪论1

0.1 入门知识介绍1

0.2 各章说明4

14.1 引言 （226

第一部分 基本概念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-PROLOG154

9.2 以标准语法编程156

9.3 把句子分析为子句160

9.4 标准语法程序中的元变量162

9.5 访问原语的子句CL168

第四部分 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 一个简单会话形式shell184

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

一、SIMPLE278

二、核心micro-PROLOG283

三、DEC-10Prolog系统的子集286

附录三 修理收音机专家系统288

附录四 有关PROLOG语言的其他新书289