《PROLOG语言程序设计》

目 录1

第一部份 基本概念1

第一章预备知识1

第一节命题演算1

第二节谓词演算2

第三节PROLOG系统的内部谓词3

习题4

第二节 问题5

第一节 事实5

第二章PROLOG程序的基本组成5

第三节规则6

第二节 表 （18

习题9

第三章 句法10

第一节 句法10

第二节 字符11

第三节运算符11

第四节 相等12

第五节算术13

习题16

第六节 匹配16

第四章数据结构17

第一节 结构和树17

第三节 表的成员资格20

第四节 递归20

习题24

第一节 回溯25

第五章“割”的概念和用法25

第二节 割（cut）的概念27

第三节 割的用法27

第四节 注意事项31

第五节 迷宫程序33

习题34

第二部份程序设计方法35

第六章奇偶数判断问题35

第一节 奇偶数判断程序35

第二节有关的内部谓词37

第三节 系统工作情况38

习题41

第七章 表和集合42

第一节表处理42

第二节映射44

第三节集合运算48

习题50

第二节快速排序51

第一节冒泡排序51

第八章排序51

第三节合并排序54

习题55

第九章问题求解57

第一节梵塔问题57

第二节N－皇后问题57

第三节A*算法60

第四节字母算术问题69

第五节 几个常用的内部谓词70

习题71

第十章信息检索72

第十一章定理证明75

第一节范式75

第二节消解过程76

第三节 PROLOG程序77

第四节 运算符说明80

第二节实例82

第一节什么是专家系统82

第十二章专家系统82

第三节以三角形分类为例子程序的执行84

第四节推理系统程序IE86

习题90

第十三章调试和修改程序91

第一节 常见错误和注意事项91

第二节 调试和修改常用的内部谓词92

附录 习题解答98

参考文献110