Prolog逻辑程序设计及应用2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Prolog逻辑程序设计及应用PDF格式电子书版下载

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

第一章　Prolog简介1

1.1　说明事物或对象之间的关系1

1.2　用规则定义关系3

1.3　对象及其关系的询问4

1.4　Prolog的问题求解过程7

1.5　逻辑程序设计语言Prolog的特点10

练习11

第二章　基本语法及结构13

2.1　项13

2.2　项的匹配16

2.3　算子19

2.4　算术比较与运算21

2.5　表22

练习25

第三章　规则26

3.1　规则的构成26

3.2 目标求解的搜索29

3.3　规则的递归描述32

3.4　问题求解的顺序相关性37

3.5　Prolog程序的说明性语义与过程性语义39

练习43

4.1　结构化信息的检索44

第四章　Prolog程序设计中的问题表示及数据结构44

4.2　不确定型自动机仿真48

4.3　八皇后问题53

练习64

第五章　预定义谓词切断“！”及其使用65

5.1　“！”的语法65

5.2　“！”的使用67

5.3　“！”带来的问题71

第六章　预定义谓词的功能与使用74

6.1　数据库中子句的插入、删除及显示74

6.2　输入输出处理79

6.3　文件处理86

6.4　项的分类及操作88

6.5　结构的操作93

6.6　 对回溯的控制101

6.7　目标调用102

6.8　算子定义105

6.9　相等性比较108

第七章　Prolog的程序设计技术109

7.1　程序设计的一般原则109

7.2　关于如何进行Prolog程序设计的几点讨论111

7.3　Prolog的程序设计风格113

7.4　Prolog的程序查错116

7.5　Prolog程序的效率问题117

第八章　树与图的Prolog表示及算法实现130

8.1　树、二叉树、有序二叉树及其表示130

8.2　有序二叉树中的插入与删除135

8.3　图及其在Prolog中的表示141

8.4　图的路径查找143

8.5　图中跨越树的查找147

练习150

第九章　问题求解的状态空间表示及搜索策略151

9.1　农夫摆渡问题及它的状态空间151

9.2　深度优先搜索153

9.3　农夫摆渡问题的深度优先程序156

9.4　宽度优先的搜索方法159

9.5　宽度优先方法中路径的树状表示162

9.6　关于状态空间搜索的几点讨论166

练习167

第十章　最佳优先的启发式搜索168

10.1　最佳优先搜索168

10.2　八数码难题的最佳优先搜索177

10.3　任务调度的最佳优先搜索181

10.4　关于A＊算法的讨论187

11.1　什么是专家系统190

第十一章　使用Prolog开发专家系统190

11.2　使用Prolog开发专家系统的优点191

11.3　动物识别专家系统192

11.4　用Prolog实现简单的动物识别专家系统196

11.5　使专家系统具有解释能力202

练习211

第十二章　其它应用212

12.1　符号处理212

12.2　汉诺塔游戏216

12.3　表处理218

12.4　排序221

12.5 电路仿真226

12.6　用筛选法获得素数231

练习232

第十三章　Prolog与一阶谓词逻辑之间的关系234

13.1　一阶谓词逻辑简介234

13.2　子句形式238

13.3　子句的一种特殊表示243

13.4　反驳消解法及定理证明245

13.5　Horn子句与Prolog248

附录　ASCII码字符表251

主要参考资料252