LISP语言PDF电子书下载

目录 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．LISP1 34

§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