图书介绍
PROLOG程序设计PDF|Epub|txt|kindle电子书版本网盘下载
- （英）克洛克辛（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 PROLOG248
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