第一章 LISP语言 1
1.1 符号表达式 2
1.2 基本函数 3
1.3 表的记法 5
1.4 LISP元语言 6
1.5 句法小结 11
1.6 一个普适LISP函数 13
第二章 LISP解释程序 21
2.1 变量 23
2.2 常量 25
2.3 函数 25
2.4 机器语言函数 26
2.5 特殊的型 26
2.6 为解释程序进行程序设计 27
第三章 LISP语言的扩充 29
3.1 函数自变量 30
3.2 逻辑连接词 31
3.3 LISP中的谓词和真值 32
第四章 LISP中的算术运算 34
4.1 数的读入和打印 34
4.2 算术函数和谓词 36
4.3 含有算术运算的程序设计 38
4.4 数组 38
第五章 PROG特殊规定 40
第六章 LISP系统的运行 44
6.1 准备卡片叠 44
6.2 跟踪 45
6.3 错误诊断信息 46
6.4 cons计数器和errorset 50
第七章 表结构 52
7.1 表结构的表示方法 52
7.2 表结构的构造 55
7.3 性质表(P—表) 56
7.4 表结构的算子 59
7.5 自由存贮区表和清理程序 61
第八章 一个完整的LISP程序——命题计算的王浩算法 63
附录A LISP系统中的函数和常量 80
附录B LISP解释程序 99
附录C LISP汇编程序(LAP) 104
附录D LISP编译程序 109
附录E 监督程序(OVERLORD) 115
附录F LISP输入和输出 119
附录G 内存分配和清理程序 128
附录H 递归和后进先出区 131
附录I 由SHARE提供的LISP 133
函数索引 142
名词解释 148