《逻辑程序设计语言PGOLOG-基础、原理、实现和应用》求取 ⇩
作者 | 文迅 编者 |
---|---|
出版 | 中图学院H电脑公司 |
参考页数 | 150 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 1985(求助前请核对) 目录预览 |
ISBN号 | 无 — 违规投诉 / 求助条款 |
PDF编号 | 810468648(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
目 录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/O31
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.Prolog61
7.Prolog与逻辑程序设计62
主要参考文献64
附录A.Prolog样板程序集锦65
A1.符号差分SYMDIFF65
A2.语言编辑系统AUTOC70
A 3.通用数据库查询系统DBAQL91
A4.专家系统外壳SHELL和动物分类学规则库ANIMALS102
附录B.PROLOG语法描述(UNIX YACC格式)148
1985《逻辑程序设计语言PGOLOG-基础、原理、实现和应用》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由文迅 1985 中图学院H电脑公司 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- C语言程序设计基础
- 1992 北京:科学出版社
- 逻辑程序设计语言及其实现技术
- 1996年01月 清华大学出版社
- 逻辑程序设计语言PROLOG:基础、原理、实现和应用
- 中国科学院H电脑公司
- 逻辑程序设计原理和方法
- 1987 长沙:国防科技大学出版社
- C语言程序设计基础
- 1998 北京:科学出版社
- C语言程序设计基础
- 1997 大连:大连理工大学出版社
- C语言程序设计基础教程
- 1997 重庆:重庆大学出版社
- C语言及其开发工具 下 调试器及运行库
- 1988 厦门:厦门大学出版社
- C程序设计语言基础
- 1987 哈尔滨:哈尔滨工业大学出版社
- C语言程序设计基础
- 1986 北京:清华大学出版社
- PC-1500袖珍计算机BASIC语言应用程序集
- 1988 北京:气象出版社
- 管理程序设计与应用基础
- 1988 北京:清华大学出版社
- BASIC语言程序设计基础
- 1985 北京:海洋出版社
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD