《人工智能程序设计LISP和PROLOG》求取 ⇩

目录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