图书介绍

逻辑程序设计语言PROLOG：基础、原理、实现和应用【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

文迅编著
出版社：中国科学院H电脑公司
ISBN：
出版时间：未知
标注页数：150页
文件大小：5MB
文件页数：156页
主题词：

PDF下载

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

点击复制MD5值：aea492a523844bd9f6218f74b8f1d5b3

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

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

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

图书目录

一、前言1

1．发展简史1

2．Polog的特点及其应用1

二、基本语法3

1．Prolog程序3

2．语句4

3．目标4

4．谓词和原子4

5．参数和项5

6．变量5

7．复合项5

三、基本数据结构6

1．树6

2．表6

四、Prolog的基本算法9

1．模式匹配9

2．回溯10

3．截断11

4．Prolog的基本算法15

五、输入输出29

1．字符读写29

2．项的读写30

3．文件I/O31

4．说明算符33

六、内部谓调34

1．arg参数匹配34

2．asserta,assertz增加子句35

3．atom原子判别35

4．atomic原子或整数判别35

5．call目标调用36

6．clause头尾部分别匹配36

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

8．debugging显示侦察点36

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

10．fail恒失败36

11．functor函数判别37

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

13．get0输入字符37

14．integer整数判别37

15．is赋值38

16．listing列出子句38

17．mod求余38

18．name原子和字符表38

19．nodebug删除所有侦察点38

20．nl输出换行字符38

21．nonvar判别非变量38

22．nospy删除侦察点38

23．not39

24．notrace退出跟踪39

25．op定义算符39

26．put输出字符39

27．read读一项39

28．reconsult修补知识库39

29．repeat重复动作39

30．retract删除子句40

31．see改变当前输入流40

32．seeing查当前输入流名40

33．seen恢复当前输入流40

34．skip跳过输入字符40

35．spy设置侦察点40

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

37．tell改变当前输出流41

38．telling查当前输出流名41

39．told恢复当前输出流41

40．trace进入跟踪状态41

41．true恒真44

42．var判别变量41

43．write写当前输出流42

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

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

46．＝，＼＝相等关系42

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

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

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

七、典型实例43

1．排序树43

2．迷宫问题45

3．汉诺塔46

4．街道图48

八、Prolog和逻辑的关系52

1．谓词演算简介52

2．子句形式53

3．子句的表示方法56

4．消解和定理证明58

5．Horn子句60

6．Prolog61

7．Prolog与逻辑程序设计62

主要参考文献64

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

A1．符号差分SYMDIFF65

A2．语言编辑系统AUTOC70

A3．通用数据库查询系统DBAQL91

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

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