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
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《设计十六日 国内外美术院校报考攻略》沈海泯著 2018
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《计算机辅助平面设计》吴轶博主编 2019
- 《国际劳工问题》(日)浅利顺次郎著;佘叔奎译 1928
- 《源自地球的证据 法庭地质学与犯罪侦查》(美)雷蒙德·默里著;王元凤,金振奎译 2013
- 《20世纪中国图书馆学文库 35 图书馆目录》李纪有,沈迪飞,余惠芳编著 2013
- 《施特劳斯与流亡政治学 一个政治哲人的锻成》(美)谢帕德著;高山奎译 2013
- 《清华版双语教学用书 电机原理及驱动 电机学基础 第5版》StephenJ·Chapman著;满永奎译 2013
- 《裂缝性油藏工程基础 上》T.D.VAN GOLF-RACHT著;沈志成,仲雍,张纪易,刘敬奎译;仲雍校 1985
- 《宏观经济学 现代原理》(美)泰勒·考恩,(美)亚历克斯·塔巴洛克著;罗君丽,李井奎译;陈听主编 2013
- 《如何改变世界 马克思和马克思主义的传奇》(英)埃里克·霍布斯鲍姆著;吕增奎译 2014
- 《夫妻之间 评剧》纪有诚改编 1954
- 《简氏美军战机鉴赏指南》(英)霍姆斯著;杨晓珂,董奎译 2009
- 《海洋文明小史》倪谦谦责编;王存苗译;(法)雅克·阿塔利 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《海洋功能食品》王卉 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 九年级 上 配人教版》周志英总主编 2019
- 《西单大杂院-北京老舍文学院首届中青年作家高研班学员小说作品集》北京老舍文学院编 2019