图书介绍
PROLOG程序设计pdf电子书版本下载
- （英）克洛克辛（Clocksin，W.F.），梅利什（Mellish，C.S.）著；李德毅，赵立平译 著
- 出版社： 北京：国防工业出版社
- ISBN：7118003637
- 出版时间：1988
- 标注页数：301页
- 文件大小：10MB
- 文件页数：314页
- 主题词：
PDF下载
下载说明
PROLOG程序设计PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录 1
第一章 PROLOG简介 1
使读者对PROLOG程序设计有一个感性认识。介 2
绍客体、关系、事实、规则和变量等基本概念。 2
1.1 事实 2
1.2 问题 5
1.3 变量 7
1.4 合取 9
1.5 规则 14
1.6 小结和练习 21
第二章 PROLOG的基本要点 24
较详细地讨论了PROLOG的语法及其数据结构。 24
2.1 语法 24
2.2 字符 28
2.3 算子 29
2.4 等同 31
2.5 算术运算 33
2.6 目标的满足 37
第三章 数据结构的使用 42
用“树”和“表”来表征客体和关系，并通过例子 42
讲解PROLOG程序。 42
3.1 结构和树 42
3.2 表 44
3.3 表的成员关系 48
3.4 例题：句子变换 52
3.5 例题：字序比较 55
3.6 例题：零件清单 58
4.1 多个解的产生 62
改变PROLOG程序的执行顺序。 62
讨论怎样从一组子句中产生一组解答。用“切断” 62
第四章 回溯和“切断” 62
4.2 “切断” 69
4.3 “切断”的一般用法 72
4.4 与“切断”有关的几个问题 83
第五章 输入和输出 86
介绍字符和结构的输入输出方法。编写一个程序， 88
用来读入用户给出的句子，表示成一列单词组成的表。 88
该表可用于第九章中的语法规则。 88
5.1 项的读写 88
5.2 字符的读写 92
5.3 英语句子的读入 94
5.4 文件的读写 97
5.5 算子的说明 100
程序，理解内部谓词在程序中的含义。 103
6.1 输入新的子句 103
第六章 内部谓词 103
明它们的使用。在这基础上，读者应能阅读相当复杂的 103
解释核心PROLOG的内部谓词，通过实例逐一说 103
6.2 成功与失败 107
6.3 项的分类 108
6.4 把子句当作项处理 112
6.5 一般结构分量的生成和存取 120
6.6 对回溯的干预 129
6.7 生成复杂的目标 131
6.8 等同 134
6.9 输入和输出 134
6.10 文件处理 139
6.11 算术表达式求值 139
6.12 数的比较 140
6.13 观察PROLOG的运行 141
第七章 程序实例 143
给出许多用于各个领域的实用程序，例如表的处理、 143
集的运算、符号微分以及公式化简等。 143
7.1 有序树型字典 143
7.2 迷宫搜索 147
7.3 梵塔问题 150
7.4 改进后的零件清单 151
7.5 表处理 154
7.6 集的表示方法和集的运算 158
7.7 排序问题 160
7.8 利用数据库存放结构的几个谓词 164
7.9 图的搜索 170
7.10 一种求素数的方法 175
7.11 符号微分 177
7.12 结构的映射和树的变换 179
第八章 PROLOG程序的调试 183
在前几章的基础上，读者已有能力写出很好的程序。 184
本章讨论程序设计问题，包括控制流模型，程序中的常 184
见错误和调试技术。 184
8.1 程序的输出格式 184
8.2 常见错误 187
8.3 另一种控制流模式 190
8.4 跟踪和监视点的使用 197
8.5 错误的修正 207
时的一些设计决策。 209
9.1 语法分析问题 209
介绍有关应用，例如用文法规则进行自然语言分析 209
第九章 文法规则的应用 209
9.2 语法分析问题的PROLOG表达方法 212
9.3 文法规则的表示法 218
9.4 添加额外的元 221
9.5 添加额外的任务 225
9.6 小结 227
第十章 PROLOG和逻辑的关系 232
介绍谓词演算、子句形式、归结原理、定理证明以 232
及逻辑程序设计等概念。 232
10.1 谓词演算简介 232
10.2 子句形式 235
10.3 子句表示法 241
10.4 消解原理和定理证明 243
10.5 Horn子句 247
10.6 PROLOG 248
10.7 PROLOG和逻辑程序设计 250
第十一章 PROLOG应用举例 254
给出一组PROLOG的应用课题和工程项目。 254
11.1 简单应用举例 254
11.2 难度较大的应用举例 257
附录 261
附录一 部分习题解答 261
附录二 子句形式——PROLOG程序 267
附录三 美国信息交换标准码（ASCII） 273
附录四 PROLOG的各种文本 275
附录五 DEC-10上的PROLOG系统 278
附录六 PDP-11 UNIX上的PROLOG系统 287
附录七 LSI-11 RT-11上的PROLOG系统 294
附录八 ICL 2980 EMAS上的PROLOG系统 300
附录九 其它PROLOG系统 300