《LISP语言 人工智慧系列之一》求取 ⇩

第一章LISP引言1

LISP程式设计1

起步：函数2

算术函数3

LISP练习5

组合LISP函数5

LISP练习6

原子和表列6

平衡表列8

LISP练习9

表列操作函数10

从表列中提取资讯：cor和cdr10

建立表列：cons和list11

给引数打引号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和sgrt57

LISP练习57

缩写cars和cdrs59

LISP练习61

诊错62

除去语法错误63

除去功能性的错误65

LISP练习69

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

输入、输出函数73

印出74

读入75

LISP练习76

函数中的多动作77

LISP练习78

局部变数和let79

LISP练习81

用let初始化变数82

一个新函数：Length83

LISP练习84

局部和全局变数84

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

重新使用和修改变数87

LISP练习88

文字串，Princ和terpri89

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和round122

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函数：remove146

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和mapcar167

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

用do进行数字的重复172

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

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

LISP练习173

在do中的有条件的更新174

LISP练习175

在do的循环体中的动作176

LISP练习177

映射函数之一：mapcar178

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与eql210

LISP练习212

无损函数213

LISP练习215

有损函数：nonc，rplaca，与rplacd215

何时使用有损函数218

LISP练习219

第十三章求值与巨组合221

LISP求值过程221

强迫求值：函数eval222

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