《LISP基础》求取 ⇩

第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 离开LISP11

1.7 摘要12

习题13

第2章　符号计算15

2.1引言15

2.2 串列的更深入探讨15

2.3 把事物当成文字看待17

2.4 car和cdr21

2.5 cadr等25

2.6 空串列27

2.7　cons28

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 更复杂的cond55

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 prog79

第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　apply101

8.4　eval105

8.4.1eval的背景问题107

8.5 对映函数108

8.5.1 各式各样的对映函数110

8.5.2　apply-append技巧112

8.6 摘要113

习题114

9.2 不具名称的函数119

第9章lambda119

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

第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中的LISP145

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.2expr与fexpr170

12.2.1 nlambda172

12.2.2 fexpr的背景效应173

12.3　函数的规律175

12.4　lexpr175

12.4.1　定义lexpr的更简便方法177

12.4.2 lexpr形式178

12.4.3　其它的lexpr函数：LISTIFY和SETARG179

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 defmacro199

13.7　let巨集201

13.8　setf202

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 eq227

15.5　rplaca和rplacd的危险性228

15.6　摘要233

习题234

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

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

16.2　errset240

16.3用err模拟错误241

16.4　catch与throw241

16.4.1 更具弹性的catch与throw243

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

16.7　摘要245

16.6　自动载入245

习题246

第17章LISP符号表247

17.1　再谈read247

17.2 登录基元的名称248

17.3 基元的表示法249

17.4　oblist249

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 value272

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　liszt292

20.3编译程式中的宣告292

20.3.1　特殊的变数293

20.3.2　其它的宣告295

20.3.3　区域性的宣告296

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

20.4.1 eval-when297

20.4.2　引入其它档案298

20.4.3　特殊的progn298

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

附录AFranz 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