PROLOG语言PDF电子书下载

第一章 PROLOG的逻辑基础 1

命题逻辑 1

谓词逻辑、归结原理 11

第二章 基本结构 21

PROLOG的三种基本语句 21

项 29

实例 32

习题 37

第三章 递归结构 40

表 40

二叉树 52

实例 53

习题 59

第四章 PROLOG的搜索方式 61

PROLOG的搜索与回溯 62

截断 71

PROLOG程序的手工跟踪 80

第五章 内部谓词 93

运算符及其定义 93

项的分类 101

结构成份的取出和建立 105

影响回溯的其他内部谓词 114

输入与输出 118

程序的增删改内部谓词 132

第六章 应用 143

问题求解 143

数学应用程序 146

逻辑与数据库 148

自然语言分析 151

参考文献 154