《LISP程序设计技术》

第一部分 基本 LISP2

第一章 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 XRL146

3 XRL 中的模式匹配151

4 对 FORM 的检索154

第六章 数据关联154

1 数据关联概念154

2 从数据库中删除函数155

3 处理环圈157