PROLOG程序设计基础与技巧pdf电子书版本下载

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

PROLOG程序设计基础与技巧PDF格式电子书版下载

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

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

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

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

第一部分 PROLOG程序设计基础 2

第一章 概述 2

1.1 PROLOG语言的发展 2

1.2 PROLOG语言的特点 3

1.3 PROLOG程序 5

习题 15

第二章 PROLOG语言的语法 17

2.1 字符集 17

2.2 数 17

2.3 常量 18

2.4 变量 19

2.5 表 19

2.6 原子 21

2.7 短句 23

习题 28

第三章 PROLOG程序的执行过程 29

3.1 一致化匹配 29

3.2 简单程序的执行过程 40

3.3 一般程序的执行过程 55

3.4 搜索空间树 68

习题 82

第四章 控制机制cut 85

4.1 “/”的作用域及其作用 85

4.2 “/”的一般用法 93

4.2.1 “/”用于分情况选择 94

4.2.2 “/”与fail联用 97

4.2.3 终止产生与测试 100

4.3 “/”的副作用 102

习题 107

第五章 内部谓词 112

5.1 控制台I/O 112

5.2 文件操作 114

5.3 算术运算 123

5.4 类型判别 124

5.5 比较 126

5.6 程序库操作 127

5.7 逻辑运算 130

5.8 其它内部谓词 133

习题 134

第二部分 程序设计方法与技巧 136

第六章 程序设计方法及举例 136

6.1 递归与表处理 136

6.2 自顶到底的程序设计 152

6.3 集合运算 156

6.4 从思想到程序 160

6.5 走迷宫 167

6.6 产生完全数 173

习题 177

第七章 PROLOG自身机制的利用 182

7.1 模式匹配的利用 182

7.2 回溯机制的利用 187

7.3 “/”控制技术 189

习题 197

第八章 尾递归和数据的表示 202

8.1 尾递归 202

8.1.1 尾递归的几种具体形式 203

8.1.2 将非尾递归改为尾递归 204

8.1.3 半尾递归 209

8.2 数据结构的选择 211

8.3 多维结构的表示 219

8.4 全局变量的表示 228

习题 232

第九章 元级程序设计 235

9.1 一般的元级解释器的实现 235

9.1.1 简单元级解释器的实现 236

9.1.2 完整元级解释器的实现 238

9.2 采用广度优先搜索策略的元级解释器的实现 240

9.3 产生证明树的元级解释器的实现 245

9.4 用于调试的元级解释器的实现 247

9.4.1 跟踪执行过程的元级解释器 248

9.4.2 非正常自动终止的元级解释器 249

9.5 用于专家系统的元级解释器的实现 251

9.5.1 具有“why”解释的专家系统工具的实现 252

9.5.2 具有“how”解释的专家系统工具的实现 255

9.6 使用不精确推理的元级解释器的实现 258

习题 260

第十章 关于效率问题 262

10.1 提高效率的一般性原则 262

10.2 缩小选择空间 266

10.3 一些改进效率的例子 271

习题 279

附录 YHW-PROLOG使用指南 280

一、YHW-PROLOG 2.0系统组成 280

二、YHW-PROLOG 2.0内核 282

三、YHW-PROLOG 2.0前端 329

四、几个工具 350

五、错误信息 360

参考文献 363