LISP程序设计PDF电子书下载

目录 1

第一部分 5

第一章 理解符号处理 5

1.1符号处理类似于处理词和句子 5

1.2使计算机有智能，符号处理必不可少 6

1.3LISP正是要学的符号处理语言 7

1.4本书第一部分介绍LISP 8

1.5本书第二部分介绍LISP的能力 9

1.6对LISP的几种荒诞的说法 10

提要 11

文献 11

2.1LISP的意思是符号处理 14

第二章 基本LISP函数 14

2.2LISP的程序和数据都由S-表达式构成 15

2.3LISP既可以处理定点数又可以处理浮点数 17

2.4CAR和CDR使表分离 17

2.5常用引号表示有意识地禁止求值 18

2.6把多个CAR和CDR组合在一起使编制程序更容易 19

2.7原子都有值 20

2.8APPEND，LIST和CONS用来构造表 21

2.9LENGTH，REVERSE，SUBST和LAST使基本函数更加齐全 23

2.10解释程序对S-表达式求值 24

2.11EVAL引起再求值 25

提要 26

3.1DEFUN使用户能够产生一些新函数 27

第三章 定义，谓词，条件式及辖域 27

3.2谓词是返回T或NIL的函数 30

3.3AND，OR和NOT用作逻辑运算 33

3.4谓词帮助COND在各种可能值中选择一个值 34

3.5COND使DEFUN能定义更多的函数 35

3.6变量可以为自由变量也可以为约束变量 35

3.7LISP既不是换指示点调用也不是赋值调用 37

3.8自由变量的值是动态确定，而不是词法确定 37

3.9函数名也能作为自变量 37

提要 38

4.1程序设计要求选择控制结构 39

4.2递归允许程序自己使用自己 39

第四章 递归和迭代 39

4.3关于集合和二叉树的问题 43

4.4关于C曲线及龙曲线的问题 45

4.5关于改写逻辑表达式的问题 46

4.6处理表时往往需要使用MAPCAR的迭代 47

4.7PROG设立变量且提供清晰的迭代 49

4.8基于PROG的迭代应该细心地使用 50

4.9问题及其表示确定着合适的控制结构 51

提要 52

文献 52

第五章 特性，A-表，数组和存取函数 53

5.1特性和特性值扩充了原子和值的概念 53

5.2PUTPROP和GET是特性表的两个主要函数 53

5.3ASSOC函数可以从联结表中检索点对 54

5.4STORE和ARRAY是数组使用的两个函数 55

5.5存取函数简化了数据的交互作用 56

提要 57

第六章 使用LAMBDA定义 58

6.1LAMBDA定义匿名的函数 58

6.2常用LAMBDA式来连接函数与自变量表 60

6.3MAPCAN函数便于筛选 61

6.4函数定义的风格因人而异 62

提要 64

第七章 打印，读入和原子处理 65

7.1PRINT和READ函数便于会话 65

7.2梵塔问题 66

7.4原子的分离，结合和生成 67

7.3专门的约定有可能产生特殊的原子名 67

7.5除PRINT和READ之外的特殊输入／输出函数 68

7.6易于安排的打印格式 69

提要 72

文献 72

第八章 定义FEXPR型和MACRO型函数 73

8.1FEXPR型函数是一些不对其自变量求值的函数 73

8.2MACRO型函数先翻译后执行 74

提要 77

第九章 表的存贮，回收和手术 78

9.1内存单元网表示表 78

9.3CONS通过在自由单元中存放指针来建立新表 79

9.2单引号标记是函数QUOTE的简写形式 79

9.4无用单元收集程序为自由存贮表回收内存单元 80

9.5APPEND用复制方法来建立新的表结构 83

9.6NCONC，RPLACA，RPLACD和DELETE危险地替代内存单元的内容 84

9.7EQUAL与EQ并不相同 89

提要 89

文献 90

第十章 有关二值图象的例子 91

10.1二值图象容易处理 91

10.2用二值图象的分析可以找到物体 91

10.3在二值图象中求得的许多特征可以用来进行分类 95

10.4二值图象的成分可以用两趟扫视来加以编号 99

文献 101

提要 101

第十一章 有关搜索的例子 102

11.1宽度优先和深度优先是基本的搜索策略 102

11.2使宽度优先和深度优先搜索变得更方便的一种节点队列 103

11.3最佳优先搜索和爬山策略要求分类 108

11.4分类问题 109

11.5量水问题 112

11.6皇后问题 114

提要 115

文献 115

第十二章 有关数学的例子 116

12.1中缀表示很容易转换成前缀表示 116

12.2用S-表达式表示稀疏矩阵很有用 119

12.3用尾递归能求数的平方根 122

12.4电路网络的阻抗计算问题 123

12.5利用嵌套函数求代数方程的根 124

提要 131

文献 131

第二部分 135

第十三章 积木世界 135

13.1积木世界系统制订一个规划 135

13.2积木世界系统要求某些数字捣弄函数 136

13.3积木世界系统的函数是比较浅显的 136

13.4数字捣弄函数是可以伪造的 140

13.5仿真是简单的 141

提要 142

文献 142

第十四章 好的程序设计规则和调试 143

14.1积木世界系统说明了一些好的编程实践规则 143

14.2用BREAK来停止过程的运行常常是有用的 144

14.3TRACE使得函数能打印出它们的自变量和函数值 146

14.4LISP系统提供了许多调试特性 148

提要 149

第十五章 回答有关目标的问题 150

15.1积木世界系统能在一定程度上反省 150

15.2记忆函数的调用产生一段有用的历程 151

15.3产生一个新的定义函数的函数可能是很方便的 154

提要 159

第十六章 从数据中提取函数 160

16.1函数和物体的类型形成一张表格 160

16.2自变量可以提供其自身的过程 161

16.3FUNCALL使得函数名或其描述可以被计算 161

16.4数据驱动的程序设计日趋普及 162

提要 164

文献 164

第十七章 符号的模式匹配和简单的定理证明 165

17.1用LISP不难实现基本的模式匹配 165

17.2匹配意味着对相似S-表达式的比较 165

17.3同时约束增加了匹配操作的表现能力 169

17.4限制条件规定一个模式变量可以匹配什么 171

17.5归结是在命题演算中证明定理的一种方法 174

17.6基于归结原理的定理证明是靠证明它们不可能为假来实现的 178

17.7许多有待解决的匹配问题 178

提要 179

文献 179

第十八章 使用if-then规则的专家问题求解 180

18.1识别世界能说明if-then系统是如何工作的 180

18.2事实与规则都不难表达 180

18.3正向链是从事实推出结论 184

18.4逆向链是从假设演绎到事实 185

提要 189

文献 189

19.1用扩充转移网络表达英语句法 190

第十九章 以解释方式执行的扩充转移网络 190

19.2满足一个扩充转移网络构成一种匹配 191

19.3根据扩充转移网络不难生成LISP程序 191

19.4按照保留说明执行的一种ATN解释程序 195

19.5寄存器增加了ATN描述的能力 199

19.6ATN可以包含成分说明 201

提要 202

文献 203

第二十章 扩充转移网络的编译 204

20.1ATN可以根据明确的说明来编译 204

20.2编译程序视程序为数据 204

20.5LISP本身可以是编译的也可以是解释的 209

20.3编译程序通常比解释程序更难生成 209

20.4编译程序通常是第一流的工作 209

提要 210

文献 210

第二十一章 编写程序的程序和自然语言接口 211

21.1工具世界是一个例题 211

21.2回答问题分四步来完成 211

21.3简单程序能够查点和枚举描述-匹配物 213

21.4问答程序先建立一段程序然后执行之 215

21.5搜索程序能够自动编写 216

21.6用一个简单的ATN来确定如何建立导引分析树 219

21.7特性尚不充分 219

文献 220

提要 220

第二十二章 框架的实现 221

22.1框架是一种广义的特性表 221

22.2框架可以用嵌套的联结表来表示 221

22.3FGET，FPUT和FREMOVE是基本的框架处理函数 223

22.4能够利用DEFAULT和IF-NEEDED幽灵的简单程序 226

22.5通过AKO槽获取继承 227

22.6FPUT+和REMOVE+呼唤幽灵 228

提要 228

文献 228

第二十三章 用LISP解释LISP 230

23.1简单的符号处理语言很容易解释 230

23.2动态的和词法的变量约束都能处理 234

23.3LISP最好用LISP来定义 237

23.4优异的控制结构往往起源于基本的LISP解释程序 238

提要 238

文献 238

习题答案 239

文献目录 286

附录 305

附录一 INTERLISP 305

附录二 基本LISP函数 309

附录三 MACLISP的使用 312

附录四 注释 314

译者附加参考资料 320

PDP-11机上LISP语言使用说明 320

索引 357