Prolog programming for artificial

目录
第一部分 PROLOG语言
第一章 Prolog综述
1.1 一个程序实例：定义家庭关系
1.2 用规则扩展这个程序实例
1.3 一条递归规则的定义
1.4 Prolog怎样回答问题
1.5 程序的陈述性意义和过程性意义
第二章 Prolog程序的句法和意义
2.1 数据对象
2.2 匹配
2.3 Prolog程序的陈述性意义
2.4 过程性意义
2.5 例题：猴子和香蕉
2.6 子句和目标的顺序
2.7 谈谈Prolog和逻辑之间的关系
第三章 表、算子、算术运算
3.1 表的表示
3.2 对于表的若干运算
3.3 算子的标记
3.4 算术运算
第四章 结构的使用：程序实例
4.1 从数据库中检索结构化信息
4.2 数据的抽象化
4.3 模拟一个不确定性自动机
4.4 旅行规划
4.5 八皇后问题
第五章 回溯的控制
5.1 阻止回溯
5.2 采用cut的例子
5.3 把否定当作失败
5.4 使用cut和否定词的问题
第六章 输入和输出
6.1 与文件进行通讯
6.2 项文件的处理
6.3 对字符的运算
6.4 原子的构造和分解
6.5 程序的读取
第七章 其它内部过程
7.1 测试项的类型
7.2 项的构造和分解：＝..,functor,arg,name
7.3 各种相等性
7.4 对数据库的操纵
7.5 控制设施
7.6 bagof，setof和findall
第八章 程序设计的风格和技巧
8.1 良好的程序设计的一般原则
8.2 如何思考Prolog程序
8.3 程序设计的风格
8.4 调试
8.5 效率
第二部分 PROLOG在人工智能中的应用
第九章 对数据结构的运算
9.1 表的表示和排序
9.2 用二叉树表示集合
9.3 在二叉字典中的插入和删除
9.4 树的显示
9.5 图
第十章 先进的树表示
10.1 2-3字典
10.2 AVL树：一种近似平衡的树
第十一章 基本的问题求解策略
11.1 初步的概念和例子
11.2 深度优先搜索策略
11.3 宽度优先搜索策略
11.4 对图搜索及其最佳性和搜索复杂性的评论
第十二章 最佳优先——一种启发式搜索原理
12.1 最佳优先搜索
12.2 对八数码难题应用最佳优先搜索
12.3 把最佳优先搜索用于调度问题
第十三章 问题归约和与／或图
13.1 问题的与／或图表示
13.2 与／或表示的例题
13.3 基本的与／或搜索过程
13.4 最佳优先与／或搜索
第十四章 专家系统
14.1 专家系统的功能
14.2 专家系统的主要结构
14.3 表示知识的if-then规则
14.4 骨架的开发
14.5 实现
14.6 处理不确定性
14.7 结论
15.1 双人完备信息博弈
第十五章 博弈
15.2 极小极大原理
15.3 α-β算法：极小极大原理的一种有效实现
15.4 基于极小极大原理的程序：改进和限制
15.5 模式知识和“建议”机制
15.6 采用Advice Language 0的一个国际象棋残局程序
第十六章 用模式导引的程序设计
16.1 模式导引的结构体系
16.2 用于模式导引程序的一个简单解释程序
16.3 一个简单的定理证明程序
16.4 结论
练习选答
汉英名词对照索引