目 录 1
第一章PROLOG语言的特点和它的三个基本语句 1
第一节 PROLOG语言的特点 1
第二节 PROLOG语言的三个基本语句 2
第二章自动搜索和回溯 8
第一节 用例题来阐述自动搜索和回溯 8
第二节 cut（截断）的应用 13
第三节PROLOG系统内部控制和用户控制 16
习题 17
第三章数据结构和递归 19
第一节 项 19
第二节 树 21
第三节 表 21
第四节 PROLOG的递归 23
习题 30
第四章算术运算 31
第一节 算术运算符和比较运算符 31
第二节几个典型的例子 35
习题 44
第五章内部谓词 45
第六章实例程序 53
第一节 数学例题 53
第二节 排序 63
第三节 表处理 68
第四节 字符判断和处理 72
第五节 查询 74
第六节 集合运算 79
第七节 关系数据库 83
第八节 趣味智力题 94
第九节 自然语言处理 100
第十节 专家系统 105
习题 113
第七章附录 114
第一节 把本书的事实和规则转换成micro- 114
PROLOG 114
第二节上机操作 115
参考资料 116