图书介绍

人工智能程序设计LISP和PROLOG2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

金志权，陈佩佩编写著
出版社：南京：南京大学出版社
ISBN：7305000604
出版时间：1986
标注页数：296页
文件大小：12MB
文件页数：304页
主题词：

PDF下载

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

点击复制MD5值：a07ccc8166fa944eec863ecf6072ab07

下载说明

人工智能程序设计LISP和PROLOGPDF格式电子书版下载

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

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

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

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

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

图书目录

目录1

第一篇LISP程序设计1

第一章引言1

§1.1 LISP语言的历史及其重要性1

§1.2 LISP语言的特性2

第二章LISP的数据结构——S-表达式3

§2.1原子3

§2.2 S-表达式的定义4

§2.3 S表达式的表表示法4

习题6

第三章基本函数8

§3.1基本函数8

§3.2赋值函数和EVAL函数12

§3.3其它表处理函数15

§3.4算术运算函数20

§3.5逻辑运算函数22

习题24

第四章条件函数、定义函数26

§4.1条件函数COND26

§4.2定义函数DEFINE28

§4.3 COND使DEFINE定义更多的函数30

习题32

第五章递归与迭代33

§5.1递归34

§5.2迭代39

习题47

第六章LISP程序设计例子48

§6.1 LISP程序结构和用LISP语言解题48

§6.2符号微分49

§ 6.3中缀表示转换成前缀表示55

§ 6.4梵（Hanoi）塔问题59

§6.5皇后问题62

§6.6 LISP元语言——M-表达式64

习题65

第七章性质表和A表66

§7.1性质表66

§7.2 A表，ASSOC函数和PAIRLIS函数68

§7.3数组及其函数70

§7.4 S-表达式的存贮形式70

§ 7.5破坏原子值的函数72

习题76

第八章LAMBDA定义，LABEL定义78

§8.1 LAMBDA定义无名函数78

§8.2 LABEL表达式80

§8.3 A表在实现中的作用82

习题83

第九章LISP的输入／输出85

§9.1 READ函数85

§9.2 PRINT函数86

§9.3其它特殊输入／输出函数86

§9.4输入／输出例子88

§9.5 PDP-11机磁盘操作函数89

习题91

第十章函数的类型92

§10.1 FEXPR函数92

§10.2 MACRO型函数95

习题98

第十一章LISP在人工智能中的实例99

§11.1广度优先和深度优先的搜索策略99

§11.2修道士与野人过河问题108

§11.3积木世界113

§11.4符号模式匹配120

§11.5基于归结原理的简单定理证明122

§11.6 自然语言句子结构分析128

§11.7框架和框架函数134

习题141

第二篇PrOlog程序设计142

第十二章引言142

§12.1 Prolog语言的发展和应用142

§12.2 Prolog语言的特点142

第十三章Prolog的三个基本语句144

§13.3规则146

§13.4询问148

习题155

§14.1项156

第十四章P rolog的数据结构和递归156

§14.2表和它的递归性157

§14.3 Prolog的算术运算158

§14.4 Prolog的比较运算162

§14.5程序的递归性及其例子163

§14.6 Prolog语法与Horn子句169

习题172

第十五章Prolog的搜索方法173

§15.1关于Prolog的控制173

§15.2 Prolog的搜索和回溯173

§15.3 cut179

§16.2输入、输出185

习题187

第十六章内部谓词188

§16.1引言188

§16.3分类项197

§16.4结构成分的建立和取接201

§16.5控制回溯及其它206

§16.6程序的增、删、改209

§16.7说明运算符218

习题221

第十七章Prolog程序设计例子222

§17.1梵（Hanoi）塔问题222

§17.2数学函数223

§17.3表处理227

§17.4集合处理231

§17.5 Prolog在数据库中的应用233

§17.6符号微分236

§17.7排序237

§17.8皇后问题241

§13.1简单实例244

习题245

§13.2事实245

第十八章一些人工智能中的例子246

§18.1深度优先和广度优先搜索策略246

§18.2修道士和野人过河问题249

§18.3量水问题253

§18.4 自然语言句子结构分析257

§18.5基于归结原理的简单定理证明266

习题269

第十九章LISP和Prolog的比较270

附录275

附录一LISP内部函数275

附录二Prolog内部谓词279

附录三L-LISP280

附录四用LISP写的一个Portable Prolog解释程序289

附录五中英名词对照表294