LISP基础PDF电子书下载

第1章　基本概念 1

1.1 引言 1

1.2 LISP解译程式 1

1.3 求值 3

1.3.1 对更复杂的s-运算式进行求值 3

1.4 函数的引数 6

1.5 基元和系结 7

1.6 离开LISP 11

1.7 摘要 12

习题 13

第2章　符号计算 15

2.1 引言 15

2.2 串列的更深入探讨 15

2.3 把事物当成文字看待 17

2.4 car和cdr 21

2.5 cadr等 25

2.6 空串列 27

2.7　cons 28

2.8 串列建构函数 31

2.9 摘要 32

习题 33

第3章　定义自己的函数 35

3.1 引言 35

3.2 使用者定义的函数 35

3.3 自由变数 41

3.4 超级括弧 44

3.5 将函数储存於档案内 44

3.5.1 自动初始化 45

习题 46

3.6 摘要 46

第4章　述句、条件式与逻辑运算子 49

4.1 引言 49

4.2 LISP的述句 49

4.3 条件式 54

4.3.1 更复杂的cond 55

4.3.2 cond的一般形式 58

4.4 逻辑运算子 61

4.4.1 使用and和or控制程式的流程 62

4.5 摘要 63

习题 64

第5章　递归计算 65

5.1 引言——递归计算与反覆计算之比较 65

5.2 递归的基本概念 66

5.3 递归计算与参数系结 68

5.4 递归计算常犯的错误 69

5.5 更复杂的递归计算 70

5.6 摘要 77

习题 77

6.2 prog 79

第6章 LISP中的反覆计算 79

6.1 引言 79

6.2.1 一般的prog结构 81

6.3 反覆计算与递归计算之比较 83

6.4 其它的反覆形式 84

6.4.1 更结构化的反覆计算 85

6.5　摘要 86

习题 87

7.2 基本概论 89

7.1 引言 89

第7章　性质串列 89

7.3 实例 91

7.4 性质串列的重要性 93

7.5 性质串列以及基元的唯一性 93

7.6 分离式性质串列 94

7.7 摘要 95

习题 96

8.1 引言 99

8.2 函数作为引数使用 99

第8章　以函数作为引数的函数：eval、apply和对映函数 99

8.3　apply 101

8.4　eval 105

8.4.1 eval的背景问题 107

8.5 对映函数 108

8.5.1 各式各样的对映函数 110

8.5.2　apply-append技巧 112

8.6 摘要 113

习题 114

9.2 不具名称的函数 119

第9章 lambda 119

9.1 引言 119

9.3　def、putd和LISP的内部构造 124

9.4 一些参考范例 125

9.5　function函数 127

9.6　lambda用於系结变数之法 128

9.7 lambda的重要性 129

9.8 摘要 130

习题 131

10.2 read和print 133

第10章　资料的读取和写出 133

10.1 引言 133

10.3 使用特异的名称读取和列印基元 137

10.4 字串 141

10.5　I/O的重定方向 142

10.6 美观列印 144

10.7　其它的输入／输出 145

10.8 LISP中的LISP 145

10.8.1 evalquote顶层 147

10.8.2　read-eval-print回圈 148

10.9 摘要 149

习题 149

第11章　侦错 151

11.1　LISP中的侦错问题 151

11.2　中断的read-eval-print回圈 152

11.3　检查堆叠的内容 153

11.4 侦错程式 155

11.5 追踪及中断 162

11.6 摘要 165

习题 166

第12章　其它类型的函数 169

12.1　引言 169

12.2 expr与fexpr 170

12.2.1 nlambda 172

12.2.2 fexpr的背景效应 173

12.3　函数的规律 175

12.4　lexpr 175

12.4.1　定义lexpr的更简便方法 177

12.4.2 lexpr形式 178

12.4.3　其它的lexpr函数：LISTIFY和SETARG 179

12.5　闭锁 179

12.5.1　封闭一组函数 183

12.6　已编译以及外来的函数 184

12.7 扩充的lambda形式 186

12.8 摘要 186

习题 187

13.2　以巨集设计可读性更高的程式码 191

13.1　引言 191

第13章　巨集 191

13.3　巨集的定义法 193

13.4 巨集的展开 195

13.5　巨集范例 196

13.6 设计巨集的技巧 198

13.6.1 defmacro 199

13.7　let巨集 201

13.8　setf 202

13.9 优雅的使用巨集 203

13.10 其它 204

13.11 巨集的代换 205

13.12 摘要 206

习题 207

第14章　读取巨集 209

14.1 引言 209

14.2　在read时执行函数 209

14.3 读取巨集的定义法 211

14.4　接合巨集 212

14.5 反引号巨集 214

14.5.1 在巨集定义内使用反引号 217

14.6 摘要 218

习题 219

第15章　点对与其它内部结构 221

15.1 引言 221

15.2　串列的内部表示法 221

15.3 点对记号法 223

15.4　指向同一个物件的多重指标 225

15.4.1 eq 227

15.5　rplaca和rplacd的危险性 228

15.6　摘要 233

习题 234

第16章　错误处理以及非标准的控制流程 239

16.1　以程式处理错误的状况 239

16.2　errset 240

16.3 用err模拟错误 241

16.4　catch与throw 241

16.4.1 更具弹性的catch与throw 243

16.5　errset、err与catch、throw的比较 244

16.7　摘要 245

16.6　自动载入 245

习题 246

第17章 LISP符号表 247

17.1　再谈read 247

17.2 登录基元的名称 248

17.3 基元的表示法 249

17.4　oblist 249

17.5 处理oblist的函数 251

17.5.1　制造新基元 251

17.5.2 自动产生名称 252

17.5.3 从物件串列中移去基元 255

17.6　应用——模组内的区域变数 256

17.7　摘要 258

习题 259

第18章　其它的资料型态 261

18.1　引言 261

18.2　FRANZ所能提供的资料型态 262

18.3　字串 264

18.4　阵列 266

18.4.1 各式各样的阵列存取架构 267

18.5　小型向量 268

18.6　向量与直接向量 269

18.6.1 以向量做为使用者定义的资料型态 270

18.6.2　直接向量 272

18.7 value 272

18.8　二进位 274

18.9 摘要 275

习题 276

19.2.1 LISP的繁衍 277

19.2　作业系统的函数 277

第19章　系统函数 277

19.1 引言 277

19.2.2　建立一个shell子处理过程 279

19.2.3 执行UNIX命令 279

19.2.4 覆盖现行的LISP处理过程 282

19.2.5 终止现行的LISP处理过程 283

19.2.6 储存现行的LISP处理过程 283

19.2.7　改变现行目录 283

19.2.9　捕捉讯号 284

19.2.8 UNIX环境的相关资讯之取得 284

19.3　LISP内部的系统函数 285

19.3.1 判断基元是否已系结某个值 286

19.3.2 明显地呼叫LISP顶层 286

19.3.3　废物收集 286

19.3.4　计时 286

19.3.5　取得与LISP相关的线上资讯 286

19.3.6　内部的选择项 287

19.4　摘要 287

20.1　LISP编译简介 289

第20章　编译 289

20.2　LISP编译程式的用法 290

20.2.1　liszt 292

20.3 编译程式中的宣告 292

20.3.1　特殊的变数 293

20.3.2　其它的宣告 295

20.3.3　区域性的宣告 296

20.4　编译程式的其它特殊形式 297

20.4.1 eval-when 297

20.4.2　引入其它档案 298

20.4.3　特殊的progn 298

20.4.4 函数定义 298

20.4.5　其它的形式 299

20.5　编译程式特有的程式设计顾虑 299

20.5.1　lexpr的问题 299

20.5.2　文字的问题 299

20.5.5 巨集的自动载入 300

20.6 转移表 300

20.5.3　编译算术函数 300

20.5.4　只供编译程式使用的巨集 300

20.7　编译程式所提供的选择项 301

20.8　初始化 302

20.9　摘要 302

习题 303

21.1 引言 305

21.2 样式配对 305

第21章 LISP的应用：样式配对 305

21.3　有关近似性的说明 306

21.4　样式配对变数的系结 308

21.5 统一性 311

21.6 配对程式 312

21.7 摘要 317

习题 318

第22章 LISP的应用：联结式资料库管理系统 319

22.1 引言 319

22.2　联结式资料库的实作 319

22.2.1 某些实作上的考虑事项 320

22.2.2　管理程式 321

22.3 建立索引 326

22.4　推理式撷取程式 330

22.4.1　向後链结 330

22.4.2　推理式撷取程式的实作 331

22.5 摘要 333

习题 334

附录A Franz LISP函数摘要 337

A.1.1.1 判断资料型态的函数 339

A.1.1 一般的资料结构述句 339

A.1　存取及处理资料结构的函数 339

A.1.1.2 资料结构的比较函数 341

A.1.2 串列 342

A.1.2.1 串列建构函数 342

A.1.2.2 串列述句 342

A.1.2.3 串列存取函数 343

A.1.2.4 串列处理函数 344

A.1.3 符号和字串 346

A.1.3.1 符号和字串的产生函数 346

A.1.3.3 符号和字串存取函数 348

A.1.3.2 符号和字串述句 348

A.1.3.4 符号和字串处理函数 349

A.1.4 向量 350

A.1.4.1 向量建构函数 350

A.1.4.2 向量存取函数 351

A.1.4.3 向量处理函数 352

A.1.5 阵列 352

A.1.5.1 阵列建构函数 352

A.1.5.2 阵列存取函数 353

A.1.5.3 阵列处理函数 354

A.1.6 小型向量 355

A.1.6.1 小型向量建构函数 355

A.1.6.2 小型向量存取函数 355

A.1.6.3 小型向量处理函数 355

A.1.7 二进位码资料 356

A.1.8 结构 356

A.1.8.1 联结串列函数 356

A.1.8.2 性质串列函数 357

A.1.8.4 fclosure函数 358

A.1.9 其它的资料结构函数 358

A.1.8.3 tconc结构函数 358

A.2 算术函数 360

A.2.1 简单的算术函数 360

A.2.2 算术述句 362

A.2.3 三角函数 363

A.2.4 大数函数 364

A.2.5 位元的处理 364

A.2.6 其它的算术函数 365

A.3 输入／输出函数 366

A.4 系统函数 374

A.5 流程控制函数 382

A.6 控制求值的函数 386

A.7 侦错函数 389

A.8 定义函数的函数 392

A.9 其它的函数 393

A.9.1 lexpr函数 393

A.9.2 宣告函数 393

A.9.3　其它 394

附录B Franz LISP的特殊符号 395

参考书目 399

中英名词对照 401