LISP语言 人工智慧系列之一PDF电子书下载

第一章 LISP引言 1

LISP程式设计 1

起步：函数 2

算术函数 3

LISP练习 5

组合LISP函数 5

LISP练习 6

原子和表列 6

平衡表列 8

LISP练习 9

表列操作函数 10

从表列中提取资讯：cor和cdr 10

建立表列：cons和list 11

给引数打引号 13

LISP练习 13

可变数 14

重新设定一个变数的值 16

LISP练习 17

第二章 定义LISP函数 21

为什么要定义函数？ 21

定义你自己的LISP函数 23

函数名 23

函数参数 24

函数体 24

LISP练习 26

局部变数和全局变数 27

印出函数定义 28

LISP练习 29

演译法 29

附加的表列处理函数 30

LISP练习 31

第三章 述词和条件式 33

有条件的处理 33

述词 34

条件式 39

LISP练习 42

逻辑函数 43

LISP练习 45

使用逻辑函数的简单条件处理 47

LISP练习 48

第四章 程式设计的风格 51

撰写程式的风格 51

辅助函数 53

写辅助函数的准则 55

局部变数 56

LISP函数abs，mod和sgrt 57

LISP练习 57

缩写cars和cdrs 59

LISP练习 61

诊错 62

除去语法错误 63

除去功能性的错误 65

LISP练习 69

第五章 输入、输出和局部变数 73

输入、输出函数 73

印出 74

读入 75

LISP练习 76

函数中的多动作 77

LISP练习 78

局部变数和let 79

LISP练习 81

用let初始化变数 82

一个新函数：Length 83

LISP练习 84

局部和全局变数 84

有条件地退出一个函数：Prog和return 86

重新使用和修改变数 87

LISP练习 88

文字串，Princ和terpri 89

LISP练习 92

第六章 循环：数字的重复和输入控制的重复 95

重复：使程式重复动作部 95

循环的构造 96

数字的重复：持续计数 96

用作计数的函数 97

LISP练习 99

数字重复函数的一般形式 99

LISP练习 100

设计数字的重复 101

初始化控制变数 101

初始化结果变数 101

按排循环动作 102

LISP练习 102

计算最终的结果 102

LISP练习 103

计数的不同方式 103

执行的不同方式 104

LISP练习 104

输入控制的重复：在使用者控制下的重复 106

LISP练习 109

第七章 递回的介绍 113

数值递回 113

了解递回函数是如何工作的 114

如何写递回函数 117

LISP练习 118

数值递回中的多终止和多终止和多递回情况 120

LISP函数oddp，evenp和round 122

LISP练习 122

表列递回 124

了解cdr是如何递回工作的 125

如何写cdr递回函数 126

LISP练习 127

表列递回中的多终止和多递回情况 128

LISP练习 129

第八章 表列重覆 133

遍及表列的重复 133

设计表列重复 134

控制变数 134

初始化结果变数 134

退出测试 136

更新变数 136

LISP练习 137

用表列重复搜寻一个表列 138

自我终止搜寻 138

无尽搜寻 139

LISP练习 140

用表列重复把表列分类 142

选择分类 143

插入分类 145

LISP练习 146

另一个LISP函数：remove 146

LISP练习 147

第九章 高级递回 149

高级的表列递回 149

LISP练习 150

一种高级的递回技术 150

LISP练习 150

使用递回 151

car-cdr递回 152

LISP练习 155

规范的结构递回 156

LISP练习 159

二分法搜寻 160

二？树 160

LISP练习 163

关联表列 163

LISP练习 164

第十章 高级的重覆结构：do和mapcar 167

一个更为简便的重复结构：do 167

用do进行数字的重复 172

使用独立更新的数字重复 172

用非独立更新的数字重复 172

LISP练习 173

在do中的有条件的更新 174

LISP练习 175

在do的循环体中的动作 176

LISP练习 177

映射函数之一：mapcar 178

LISP练习 180

在多个表列上的映射 180

LISP练习 180

在多个表列上的映射 180

LISP练习 181

lambda（λ）练习 181

LISP练习 184

第十一章 更覆杂的资料结构：性质表列与行列 185

性质表列：使性质值与一个原子相关 185

赋性质给一个原子 186

存取性质的值 187

修改性质的值 188

一个资料库中的性质 189

LISP练习 190

产生新的原子 191

LISP练习 193

行列：存放易于存取的资料 194

存取一个行列的单元 195

把资料送入行列 195

写处理行列的函数 197

LISP练习 198

多维行列 199

LISP练习 200

Setg：一个普通的结构修改器 200

第十二章 表列结构与有损函数 203

con单元 203

用cons单元编排表列 204

con单元与简单的表列函数 206

LISP练习 209

引用表列：变数与文字表列 209

恒等与等价：equal与eql 210

LISP练习 212

无损函数 213

LISP练习 215

有损函数：nonc，rplaca，与rplacd 215

何时使用有损函数 218

LISP练习 219

第十三章 求值与巨组合 221

LISP求值过程 221

强迫求值：函数eval 222

LISP练习 223

把一个函数应用到引数上去 225

LISP练习 226

LISP练习 228

LISP练习 230

把反引号用于表列构造 231

LISP练习 232

巨组合 233

LISP练习 235

产生巨组合 236

LISP练习 237

第十四章 搜寻技术 239

搜寻 239

树和网路 240

产生网路结构 241

把节点加进资料结构 243

LISP练习 244

搜寻网路 244

扩展函数：存取一棵树中的节点 245

LISP函数 246

系统地搜寻 247

LISP练习 250

穷尽搜寻 251

LISP练习 251

搜寻中的重覆和循环 252

LISP练习 253

可行路径 254

LISP练习 257

有指引的搜寻 257

LISP练习 258

第十五章 模式匹配 263

资料和模式 263

一个简单的模式匹配函数 264

LISP练习 267

多层次的子句 269

LISP练习 270

多子句模式和重覆的变数 271

LISP练习 274

模式匹配赋值 275

LISP练习 278

产生式系统 279

规则直译程式：应用产生式 282

实现规则直译程式 285

LISP练习 287

第十六章 实现一个覆杂系统：一个有效的产生式系统直译程式 291

一个更有效的产生式系统 291

编写产生式 293

建立测试匹配的程式 297

LISP练习 300

建立执行动作的程式 301

LISP练习 302

引入子句：规则直译程式 302

LISP练习 310

第十七章 应用实例 313

附录：作业及解答 349