《LISP程序设计》求取 ⇩

目录1

第一部分5

第一章 理解符号处理5

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

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

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

1.4本书第一部分介绍LISP8

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解释LISP230

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

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

23.3LISP最好用LISP来定义237

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

提要238

文献238

习题答案239

文献目录286

附录305

附录一 INTERLISP305

附录二 基本LISP函数309

附录三 MACLISP的使用312

附录四 注释314

译者附加参考资料320

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

索引357