《PROLOG程序设计基础与技巧》求取 ⇩

第一部分 PROLOG程序设计基础2

第一章 概述2

1.1 PROLOG语言的发展2

1.2 PROLOG语言的特点3

1.3 PROLOG程序5

习题15

第二章 PROLOG语言的语法17

2.1 字符集17

2.2 数17

2.3 常量18

2.4 变量19

2.5 表19

2.6 原子21

2.7 短句23

习题28

第三章 PROLOG程序的执行过程29

3.1 一致化匹配29

3.2 简单程序的执行过程40

3.3 一般程序的执行过程55

3.4 搜索空间树68

习题82

第四章 控制机制cut85

4.1 “/”的作用域及其作用85

4.2 “/”的一般用法93

4.2.1 “/”用于分情况选择94

4.2.2 “/”与fail联用97

4.2.3 终止产生与测试100

4.3 “/”的副作用102

习题107

第五章 内部谓词112

5.1 控制台I/O112

5.2 文件操作114

5.3 算术运算123

5.4 类型判别124

5.5 比较126

5.6 程序库操作127

5.7 逻辑运算130

5.8 其它内部谓词133

习题134

第二部分 程序设计方法与技巧136

第六章 程序设计方法及举例136

6.1 递归与表处理136

6.2 自顶到底的程序设计152

6.3 集合运算156

6.4 从思想到程序160

6.5 走迷宫167

6.6 产生完全数173

习题177

第七章 PROLOG自身机制的利用182

7.1 模式匹配的利用182

7.2 回溯机制的利用187

7.3 “/”控制技术189

习题197

第八章 尾递归和数据的表示202

8.1 尾递归202

8.1.1 尾递归的几种具体形式203

8.1.2 将非尾递归改为尾递归204

8.1.3 半尾递归209

8.2 数据结构的选择211

8.3 多维结构的表示219

8.4 全局变量的表示228

习题232

第九章 元级程序设计235

9.1 一般的元级解释器的实现235

9.1.1 简单元级解释器的实现236

9.1.2 完整元级解释器的实现238

9.2 采用广度优先搜索策略的元级解释器的实现240

9.3 产生证明树的元级解释器的实现245

9.4 用于调试的元级解释器的实现247

9.4.1 跟踪执行过程的元级解释器248

9.4.2 非正常自动终止的元级解释器249

9.5 用于专家系统的元级解释器的实现251

9.5.1 具有“why”解释的专家系统工具的实现252

9.5.2 具有“how”解释的专家系统工具的实现255

9.6 使用不精确推理的元级解释器的实现258

习题260

第十章 关于效率问题262

10.1 提高效率的一般性原则262

10.2 缩小选择空间266

10.3 一些改进效率的例子271

习题279

附录 YHW-PROLOG使用指南280

一、YHW-PROLOG 2.0系统组成280

二、YHW-PROLOG 2.0内核282

三、YHW-PROLOG 2.0前端329

四、几个工具350

五、错误信息360

参考文献363