《第五代电脑语言 micro-PROLOG入门》

序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-told133

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取用子句的基本关系—CL253

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

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

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

10—3使用DEC—10 Prolog261

第11章专家系统277

11—1 MYCIN这个专家系统278

11—2简单交谈的介面279

11—3较复杂的介面283

11—4 Why286

11—5 How291

11—6 Whynot295