LISP程序设计技术PDF电子书下载

第一部分 基本 LISP 2

第一章 S－表达式 2

1 符号处理 2

2 S－表达式 3

3 S－表达式的二叉树表示 6

4 S－表达式上的基本操作 7

5 S－表达式上的函数 12

第二章 LISP 语言 17

1 LISP 程序是如何运行的 17

2 LISP 语言中的最基本函数 18

3 LISP 函数的递归定义 23

4 常用函数 31

5 迭代 38

6 求值函数 42

7 LAMBDA 表达式 44

8 LISP 的内部机制 46

9 FEXPR 型函数与宏 56

10 串原子 61

第三章 设计 LISP 程序 61

1 搜索 62

2 量水问题 67

第二部分 LISP软件 70

第一章 宏与读 70

1 读宏 70

2 双引号读宏 71

3 函数定义过程中的宏展开 74

4 用 FEXPR 型函数模拟宏 75

第二章 定义数据类型 75

1 数据类型概念 75

2 类型定义的保守方法 76

3 类型定义的先进方法 77

第三章 控制结构 78

1 循环 78

2 重复 82

3 数据驱动的程序设计 87

4 小结 89

第四章 输入输出功能 90

1 字符串与 S-表达式 90

2 LISP 中的输入 92

3 LISP 中的输出 92

4 WRITE 宏 94

5 文件处理 95

6 文件输入输出的隔离 98

第五章 编辑 LISP 表达式 100

1 引言 100

2 编辑命令 102

3 定义编辑命令的程序 104

第三部分 高级程序设计技术 112

第一章 简单分辨网 112

1 一般分辨网 112

2 数据库分辨网——原子组成的表 114

3 数据库分辨网——一般 S-表达式 116

第二章 接续事件的控制机制 120

1 最佳优先的树搜索 120

2 协同控制与日程控制 122

3 流（Stream） 123

第三章 演绎信息检索 125

1 谓词演算 125

2 演绎检索 127

3 合一算法 130

4 一个演绎检索系统 133

5 进一步的课题 135

6 演绎信息检索的利弊 140

第四章 带变量的分辨网 141

1 对于计划的检索 141

2 检索程序 144

第五章 基于框架的数据库 146

1 扩展性质表机制 146

2 XRL 146

3 XRL 中的模式匹配 151

4 对 FORM 的检索 154

第六章 数据关联 154

1 数据关联概念 154

2 从数据库中删除函数 155

3 处理环圈 157