第五代电脑语言 micro-PROLOG入门PDF电子书下载

序 5

简介 7

第一部份 基本观念 9

第一章 事实及询问 11

1—1建立一个事实的资料库 11

1—2向SIMPLE问问题 27

1—3算术关系 34

1—4询问是如何被解决的？ 41

第二章 规则 51

2—1将询问变成一条规则 51

2—2结果是怎么被求出来的 56

2—3遞迴定义规则的方法 67

第三章 串列 81

3—1将固定长度串列内的个体取出来 82

3—2对各种长度串列作用的关系 87

3—3串列的长度 95

3—4将所有的答案组成一个串列 100

第二部份 写些逻辑性的程式 105

第四章 复杂的条件 107

4—1否定的条件 107

4—2 isall型的条件 113

4—3 fora11条件 117

4—4 or条件（分取条件） 120

4—5运算式 122

4—6向使用者问问题—is-told 133

4—7注解条件 139

第五章 串列的处理 143

5—1 append关系 143

5—2利用append的一些规则 149

5—3以遞迴方式来定义排序 155

5—4串列函数 162

第六章 剖析 165

6—1句子的剖析 165

6—2另一种剖析程式的写法 171

6—3串列差分的推广 178

第七章 使用写好的程式时，尚须考虑的问题？ 181

7—1限制条件只有一个答案 182

7—2利用/条件来控制回溯 185

7—3以尾部遞迴方式来定义规则 190

7—4模组 197

第八章 后设逻辑 203

8—1关系名称及引数串列 203

8—2能够检查使用状况的后设程式 209

8—3处理其它程式的程式 211

8—4将关系当成命令来使用 221

第三部份 Prolog的核心 231

第九章 标准语言 233

9—1-基元和子句 234

9—2以标准语法来写程式 236

9—3将句子译成子句 243

9—4在标准语法内的后设变数 245

9—5取用子句的基本关系—CL 253

第10章 其它程式是做什么 257

10—1提供句子写法的模组群 258

10—2协助以标准语法写作的模组群 260

10—3使用DEC—10 Prolog 261

第11章 专家系统 277

11—1 MYCIN这个专家系统 278

11—2简单交谈的介面 279

11—3较复杂的介面 283

11—4 Why 286

11—5 How 291

11—6 Whynot 295