第一部分 基本 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