图书介绍

PROLOG语言程序设计【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

曹立明编著著
出版社：徐州：中国矿业大学出版社
ISBN：7810211412
出版时间：1989
标注页数：110页
文件大小：4MB
文件页数：117页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：ae36efbfaa041bd56942b876e961d1f9

下载说明

PROLOG语言程序设计PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

目录1

第一部份基本概念1

第一章预备知识1

第一节命题演算1

第二节谓词演算2

第三节PROLOG系统的内部谓词3

习题4

第二节问题5

第一节事实5

第二章PROLOG程序的基本组成5

第三节规则6

第二节表（18

习题9

第三章句法10

第一节句法10

第二节字符11

第三节运算符11

第四节相等12

第五节算术13

习题16

第六节匹配16

第四章数据结构17

第一节结构和树17

第三节表的成员资格20

第四节递归20

习题24

第一节回溯25

第五章“割”的概念和用法25

第二节割（cut）的概念27

第三节割的用法27

第四节注意事项31

第五节迷宫程序33

习题34

第二部份程序设计方法35

第六章奇偶数判断问题35

第一节奇偶数判断程序35

第二节有关的内部谓词37

第三节系统工作情况38

习题41

第七章表和集合42

第一节表处理42

第二节映射44

第三节集合运算48

习题50

第二节快速排序51

第一节冒泡排序51

第八章排序51

第三节合并排序54

习题55

第九章问题求解57

第一节梵塔问题57

第二节N－皇后问题57

第三节A*算法60

第四节字母算术问题69

第五节几个常用的内部谓词70

习题71

第十章信息检索72

第十一章定理证明75

第一节范式75

第二节消解过程76

第三节 PROLOG程序77

第四节运算符说明80

第二节实例82

第一节什么是专家系统82

第十二章专家系统82

第三节以三角形分类为例子程序的执行84

第四节推理系统程序IE86

习题90

第十三章调试和修改程序91

第一节常见错误和注意事项91

第二节调试和修改常用的内部谓词92

附录习题解答98

参考文献110