《LISP语言》

目录1

目录1

绪言1

第一章 LISP——函数型语言7

§1．前缀表达式7

§2．函数定义8

§3．条件表达式9

§4．递归定义的函数11

§5．尾递归13

习题15

第二章　S表达式16

§1．S表达式的概念16

§2．表18

§3．S表达式的基本函数21

§4．S表达式的递归函数23

§5．尾递归的应用26

习题29

第三章 LISP1的严格定义34

§1．LISP134

§2．LISP1的自解释37

§3．EXPR表达式40

§4．环境的叠加42

习题47

第四章　LISP1的扩充49

§1．LISP系统中的一些概念49

§2．多种条件控制50

§3．LET表达式55

§4．形参表达式58

习题62

§1．模拟图灵机65

第五章　表结构的利用和递归定义65

§2．长整数加法69

§3．几种递归方式和可控制的约束机制75

§4．重复计算的消除80

习题84

第六章　函数型自变量和高级函数86

§1．函数型自变量86

§2．自由变量的约束91

§3．函数的施用95

§4．高级函数98

习题106

§1．长整数乘法109

第七章　高级函数的程序设计109

§2．矩阵运算112

§3．搜索117

习题127

第八章　高级函数的应用——基于规则和事实的演绎129

§1．不带变量的演绎129

§2．使用变量的正向演绎132

§3．使用变量的逆向演绎139

习题148

§1．求值函数151

第九章　程序与数据的转换151

§2．FEXPR型函数156

§3．MACRO型函数160

习题166

第十章　宏展开的应用168

§1．反引号的使用168

§2．记录的实现175

§3．形参表达式约束机制的实现183

习题190

第十一章　非函数程序设计193

§1．非函数程序的主要成分193

§2．赋值的应用201

§3．性质表的应用207

习题214

第十二章　数据类型和输入输出218

§1．数据类型218

§2．基本输入输出函数220

§3．递归图形的生成227

§4．读宏符号233

§5．排误工具239

习题246

§1．存储结构249

第十三章　存储结构及编译系统249

§2．修改存储结构的函数257

§3．编译系统266

习题268

第十四章　不同的程序设计风格271

§1．用模式传递参数271

§2．DP和PLET功能的实现276

§3．逻辑程序设计282

§4．LG的实现286

§5．泛函程序设计295

§6．SFP的实现303

习题313