图书介绍
微型机Micro-PROLOG语言及应用pdf电子书版本下载
- 纪有奎，杨正林编译 著
- 出版社： 北京：海洋出版社
- ISBN：17193·0726
- 出版时间：1986
- 标注页数：290页
- 文件大小：12MB
- 文件页数：297页
- 主题词：
PDF下载
下载说明
微型机Micro-PROLOG语言及应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录 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