- 作 者：王鼎兴等编著
- 出 版 社：清华大学出版社；广西科学技术出版社
- 出版年份：1996
- ISBN：7302018413
- 标注页数：362 页
- PDF页数：375 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源375 ≥362页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 逻辑程序设计的基础知识 1
1.1 逻辑程序的发展历史 1
1.2 逻辑程序的理论基础 2
1.3 逻辑程序设计范型与其它程序设计范型的比较 7
参考文献 9
第二章 顺序逻辑程序设计语言Prolog及其应用 12
2.1 Prolog语法 12
2.2 Prolog解释机制 19
2.3 Prolog程序设计 25
参考文献 38
第三章 顺序Prolog抽象机WAM 39
3.1 程序结构 39
3.2 主要的数据空间和状态寄存器 42
3.3 数据类型和存储格式 43
3.4 抽象指令集 45
3.5 编译方法 51
参考文献 64
第四章 WAM的优化和扩充 65
4.1 概述 65
4.2 编译优化 68
4.3 非逻辑成分的实现 90
4.4 智能回溯 99
参考文献 104
第五章 顺序推理机体系结构 105
5.1 Prolog的性能评价 105
5.2 在传统机上的实现 108
5.3 Warren和Tick机器 108
5.4 PSI机器 109
5.5 PEK机器 111
5.6 PLM机器 112
5.7 采用RISC实现 115
5.8 采用相联存储器的实现 118
参考文献 126
第六章 逻辑程序设计和并行处理 128
6.1 逻辑程序的搜索空间的表示 128
6.2 逻辑程序的非确定性和并行性 130
6.3 确定性和非确定性 131
6.4 并行归结原理 132
6.5 并行性的时间开销 136
参考文献 139
第七章 全解逻辑程序设计语言并行处理技术 140
7.1 抽象解释 140
7.2 并行性识别方法 158
7.3 并行执行模型及实现技术 174
参考文献 193
第八章 并行逻辑程序设计语言 197
8.1 PARLOG语言 197
8.2 Concurrent Prolog语言 212
8.3 GHC语言 239
8.4 几种并行逻辑程序设计语言的比较 247
参考文献 253
第九章 并行逻辑程序设计语言的实现技术 255
9.1 PARLOG顺序实现技术 255
9.2 PARLOG并行实现技术 278
参考文献 324
第十章 并行推理机体系结构 325
10.1 PGR机 325
10.2 PIM机 346
10.3 其它并行推理机 356
参考文献 362