Pralog语言程序设计及其应用PDF|Epub|txt|kindle电子书版本下载

Pralog语言程序设计及其应用PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录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，Findall103

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　Prolog165

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