目录 1
第一章 LISP程序设计 1
§1 符号处理 2
§2 LISP程序设计 17
第二章 处理二值图象 40
第三章 定理证明 54
第四章 积木世界 61
§1 计划移动的序列 65
§2 提供解释 86
§3 由数据驱动程序 93
第五章 游戏世界 100
§1 游戏树和极小极大化 100
§2 α-β剪枝技术 102
§3 LISP实现 109
第六章 符号模式匹配 139
§1 基本的模式匹配 140
§2 游艺程序“博士”DOCTOR 161
§3 解题程序“学生”STUDENT 167
第七章 若干系统的LISP实现 177
§1 LISP编译增广转换网络 177
§2 LISP解释生成系统 218
§3 LISP解释LISP 247
第八章 专家系统 259
第九章 数据库及其守护神DEMONS 281
§1 增删和检索 281
§2 守护神DEMONS 296