《Pralog语言程序设计及其应用》PDF下载

  • 购买积分:9 如何计算积分?
  • 作  者:纪有奎译
  • 出 版 社:北京:海洋出版社
  • 出版年份:1986
  • ISBN:17193·0725
  • 页数:196 页
图书介绍:

目录 1

第一章 引言 1

给学生一个关于Prolog编程的感性知识。介绍:目标、关系、事实、规则、变量。1.1 事实 2

1.2 询问 3

1.3 变量 4

1.4 连接 5

1.5 规则 7

1.6 小结和练习 12

第二章 Prolog初步知识 14

更详细介绍Prolog句法和数据结构。 14

2.1 语法 14

2.2 字符 16

2.3 运算符 17

2.4 等式 18

2.5 算术运算 19

2.6 满足目标的小结 21

第三章 使用数据结构 25

用树和表描述目标和关系并举几个Prolog编程例子。 25

3.1 结构与树 25

3.2 表 26

3.3 表的组成 28

3.4 句子变换例 31

3.5 比较字母顺序 33

3.6 零件清单 34

一系列子句怎样生成一系列解决方法。利用“截断”来修改Prolog程序运行的控制顺序。4.1 产生多个解答 37

第四章 回溯和截断 37

4.2 截断 41

4.3 截断的应用 43

4.4 运用截断引出的问题 50

第五章 输入和输出 52

字符和结构输入、输出方法。一个程序例:读入用户的一个句子并将该句子表示为一个词表,该例将被用于第九章的语法规则中。5.1 读写项 53

5.2 读写字符串 56

5.3 读英语句子 57

5.4 读写文件 59

5.5 运算符的表示 60

“核心”:内部谓词的定义并举例说明它们的用法。从而使读者能阅读比较复杂的程序,由此可以理解内部谓词的概念。6.1 新子句的输入 63

第六章 内部谓词 63

6.2 成功和失败 65

6.3 项的分类 66

6.4 子句作为项处理 69

6.5 项的结构 73

6.6 影响回溯的情况 80

6.7 生成复杂的目标 81

6.8 等式 83

6.9 输入和输出 85

6.10 文件处理 87

6.11 算术表达式的解 87

6.12 数字比较 88

6.13 监视Prolog工作 89

第七章 程序举例及应用 90

给出涉及许多有趣领域的多个程序例题。新例子包括表处理,集合的运算、符号微分,公式化简,逻辑电路自动诊断等应用程序以及迷宫,Hanoi塔,八皇后等趣味程序。7.1 分类树字典 90

7.2 探索迷宫 92

7.3 Hanoi塔 94

7.4 改进库存账单 95

7.5 表处理 96

7.6 集合的描述和变换 99

7.7 排序 100

7.8 利用数据库:Random,Gensym,Findall 103

7.9 搜索图 107

7.10 筛选2的倍数和3的倍数(求素数) 111

7.11 微分 112

7.12 结构映射和变换 113

7.13 逻辑电路的模拟 115

7.14 高斯八皇后 119

第八章 调试Prolog程序 122

到此,读者将能写出适当的Prolog程序,因而也就遇到调试程序的有关问题,在此通过讲述控制模型的流程,对普遍性错误进行提示,使读者掌握调试技术。8.1 安排程序 122

8.2 常见错误 124

8.3 跟踪模型图 126

8.4 跟踪和使用检查点 131

8.5 修改人为错误 138

第九章 使用文法规则 139

使用文法规则,考查用文法规则分析自然语言某些方面的设计。 139

9.1 文法分析的问题 139

9.2 Prolog文法分析中的代表性问题 141

9.3 文法规则符号 144

9.4 增添附加自变量 146

9.5 增添附加的校验 149

9.6 小结 151

第十章 Prolog与逻辑的关系 154

谓词计算法;子句形式;分解定理证明;逻辑程序设计。 154

10.1 谓词计算法的简要介绍 154

10.2 子句形式 156

10.3 子句的表示法 160

10.4 归结原理和定理证明 161

10.5 Horn子句 164

10.6 Prolog 165

10.7 Prolog和逻辑程序设计 166

第十一章 运用Prolog进行程序设计 169

选择推荐一些练习;问题;供读者进行程序设计。 169

11.1 较简单的程序设计题目 169

11.2 高级程序设计题目 171

附录A 答案选解 174

附录B 子句形式——Prolog程序 179

附录C ASCII码 184

附录D Prolog的不同版本 186

附录E DEC System-10 Prolog系统 188

附录F micro-Prolog系统 195

介绍有关Prolog的其他新书 196