图书介绍

Prolog 高级程序设计2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

（美）L·斯特林，（美）E·夏皮罗著；刘家Quan，邓佑译著
出版社：西安：西安交通大学出版社
ISBN：7560502490
出版时间：1990
标注页数：285页
文件大小：13MB
文件页数：294页
主题词：

PDF下载

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

点击复制MD5值：66fe1dcbd9861e880b000d7b474da858

下载说明

Prolog 高级程序设计PDF格式电子书版下载

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

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

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

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

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

图书目录

目录1

译者的话1

第Ⅰ部分　逻辑程序1

第1章　基本结构1

1.1 事实1

1.2 询问2

1.3 逻辑变元的代换和实例化2

1.4 存在询问3

1.5 全称事实3

1.6 合取询问和共享变元4

1.7 规则5

1.8 一个简单的抽象解释器7

1.9 逻辑程序的含义9

1.10　小结10

第2章　数据库程序设计12

2.1 简单数据库12

2.2 结构化数据和数据抽象15

2.3 递归规则18

2.4 逻辑程序和关系数据库模型20

2.5 背景21

第3章　递归程序设计22

3.1 算术22

3.2 表28

3.3 构造递归程序34

3.4 二叉树38

3.5 处理符号表达式41

3.6 背景45

第4章　逻辑程序的计算模型46

4.1 合一46

4.2 逻辑程序的抽象解释器48

4.3 背景53

第5章　逻辑程序理论54

5.1 语义54

5.2 程序正确性55

5.3 复杂性56

5.4 搜索树57

5.5 逻辑程序设计中的否定59

5.6 背景60

第Ⅱ部分　Prolog语言61

第6章　纯Prolog61

6.1　Prolog的执行模型61

6.2 同常规程序设计语言比较65

6.3 背景66

第7章　纯Prolog的程序设计67

7.1 规则顺序67

7.2 终止问题68

7.3 目标顺序69

7.4 冗余解71

7.5 纯Prolog中的递归程序设计73

7.6 背景77

8.1 算术运算的系统谓词78

第8章　算术运算78

8.2 进一步讨论算术逻辑程序79

8.3 将递归转换为迭代80

8.4 背景86

第9章　结构验证87

9.1 类型谓词87

9.2 存取复合项89

9.3 背景94

第10章　元逻辑谓词95

10.1　元逻辑类型谓词95

10.2　比较非基项98

10.3　变量作为对象99

10.4　元变量机制101

10.5　背景101

第11章　截断与否定102

11.1　绿色截断：表达确定性102

11.2　尾递归优化105

11.3　否定107

11.4　红色截断：省略显式条件109

11.5　缺省规则111

11.6　背景112

第12章　附加逻辑谓词114

12.1　输入／输出类114

12.2　程序的存取与处理116

12.3　存储功能117

12.4　交互程序118

12.5　失败驱动的循环122

12.6　背景123

第13章　语用学125

13.1　Prolog程序的效率125

13.2　程序设计技巧126

13.3　程序设计风格和格式129

13.4　程序开发130

13.5　背景132

14.1　产生与测试133

第Ⅲ部分高级Prolog程序设计技术133

第14章　非确定性程序设计133

14.2　随意和未知非确定性142

14.3　仿真非确定性计算模型146

14.4 人工智能的经典范例：ANALOGY,ELIZA和McSAM149

14.5　背景156

第15章　非完全数据结构157

15.1　差值表157

15.2　差值结构162

15.3　词典164

15.4　队列166

15.5　背景168

第16章　限定子句文法分析175

16.1　背景175

第17章　二阶程序设计176

17.1　集合表达式176

17.2　集合表达式的应用179

17.3　其它二阶谓词186

17.4　背景187

第18章　检索技术189

18.1　检索状态空间图189

18.2　检索博弈树197

18.3　背景202

第19章　元解释程序203

19.1　简单元解释程序203

19.2　专家系统增强型元解释程序209

19.3　用于调试的增强型元解释程序215

19.4　背景222

第Ⅳ部分　应用224

第20章　博弈程序224

20.1　智囊224

20.2　Nim（余一棋）227

20.3　Kalah231

20.4　背景237

21.1　背景244

第21章　信贷评估专家系统244

第22章　方程解算器245

22.1　方程解算综述245

22.2　因式分解246

22.3　分离247

22.4　多项式255

22.5　均匀化257

22.6　背景259

第23章　编译程序260

23.1　编译程序概述260

23.2　分析程序266

23.3　代码生成程序268

23.4　汇编程序272

23.5　背景274

附录275

1．参考材料275

2．系统谓词281