图书介绍
第五代电脑语言 micro-PROLOG入门pdf电子书版本下载
- 张宁积编著 著
- 出版社： 波前电脑管理图书有限公司
- ISBN：
- 出版时间：1986
- 标注页数：305页
- 文件大小：30MB
- 文件页数：314页
- 主题词：
PDF下载
下载说明
第五代电脑语言 micro-PROLOG入门PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
序 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