逻辑程序设计语言PGOLOG-基础、原理、实现和应用pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

逻辑程序设计语言PGOLOG-基础、原理、实现和应用PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

目 录 1

一、前言 1

1．发展简史 1

2．Prolog的特点及其应用 1

二、基本语法 3

1．Prolog程序 3

2．语句 4

3．目标 4

4．谓词和原子 4

7．复合项 5

6．变量 5

5．参数和项 5

三、基本数据结构 6

1．树 6

2．表 6

四、Prolog的基本算法 9

1．模式匹配 9

2．回溯 10

3．截断 11

4．Prolog的基本算法 15

1．字符读写 29

五、输入输出 29

2．项的读写 30

3．文件I/O 31

4．说明算符 33

六、内部谓词 34

1．arg参数匹配 34

2．asserta,assertz增加子句 35

3．atom原子判别 35

4．atomic原子或整数判别 35

8．debugging显示侦察点 36

10．fail恒失败 36

9．display写当前输出流（前缀算符） 36

6．clause头尾部分别匹配 36

7．consult从文件中读出知识库 36

5．call目标调用 36

11．functor函数判别 37

12．get输入字符（跳过不可显示字符） 37

13．get0输入字符 37

14．integer整数判别 37

20．n1输出换行字符 38

19．nodebug删除所有侦察点 38

21．nonvar判别非变量 38

22．nospy删除侦察点 38

17．mod求余 38

16．listing列出子句 38

15．is赋值 38

18．name原子和字符表 38

23．not非 39

24．notrace退出跟踪 39

25．op定义算符 39

26．put输出字符 39

27．read读一项 39

28．reconsult修补知识库 39

29．repeat重复动作 39

33．seen恢复当前输入流 40

35．Spy设置侦察点 40

34．skip跳过输入字符 40

31．see改变当前输入流 40

32．seeing查当前输入流名 40

30．retract删除子句 40

36．tab输出若干空格字符 41

37．tell改变当前输出流 41

38．telling查当前输出流名 41

39．told恢复当前输出流 41

40．trace进入跟踪状态 41

42．var判别变量 41

48．＞，＜，＞＝，＝＜小于和大于关系 42

47．＝＝严格的相等关系 42

46．＝，＼＝相等关系 42

44．＝··函数和表的转换 42

45．，；目标或子句右部谓词的连接 42

43．write写当前输出流 42

49．＋，－，*，／，mod算术运算 43

七、典型实例 43

1．排序树 43

41．true恒真 44

2．迷宫问题 45

3．汉诺塔 46

4．街道图 48

八、Prolog和逻辑的关系 52

1．谓词演算简介 52

2．子句形式 53

3．子句的表示方法 56

4．消解和定理证明 58

5．Horn子句 60

6．Prolog 61

7．Prolog与逻辑程序设计 62

主要参考文献 64

附录A．Prolog样板程序集锦 65

A1．符号差分SYMDIFF 65

A2．语言编辑系统AUTOC 70

A 3．通用数据库查询系统DBAQL 91

A4．专家系统外壳SHELL和动物分类学规则库ANIMALS 102

附录B．PROLOG语法描述（UNIX YACC格式） 148