《逻辑程序并行处理技术》求取 ⇩

第一章　绪论1

1.1　逻辑程序的发展简况1

1.2　逻辑程序并行处理技术涉及的范围4

第二章　逻辑程序及并行性开发方法24

2.1　逻辑程序的理论基础24

2.2　逻辑程序的不确定性和并行性30

2.3　逻辑程序执行过程的描述方法和执行模型31

2.4逻辑程序中的并行性开发方法38

2.5　逻辑程序的抽象解释45

第三章　并行逻辑程序设计语言53

3.1　显式并行性和用户加注53

3.2　基于Committed Choice的并行逻辑程序设计语言54

3.3加注的PROLOG语言73

第四章逻辑程序AND并行性的开发方法——CAAP80

4.1 CAAP方法的背景80

4.2 CAAP方法85

4.3 比较96

第五章改进的CAAP方法——ICAAP98

5.1 问题的提出98

5.2 解决的途径99

5.3 改进的静态编译方法——ICAAP99

第六章　逻辑程序AND并行中的副作用的处理110

6.1AND并行执行中的副作用问题110

6.2　时钟控制法114

6.3　同步块方法118

6.4　结合并行性粒度的同步块方法123

第七章逻辑程序受限AND/OR并行执行模型136

7.1　逻辑程序执行过程的OR树林描述方法136

7.2　PSOF模型简介145

7.3 受限AND/OR并行执行模型RAP/LOP146

7.4　扩展的RAP/LOP并行执行模型164

第八章　RAP/LOP并行抽象机和体系结构168

8.1　Warren抽象机简介168

8.2　RAP/LOP并行抽象机的组成174

8.3面向RAP/LOP—WAM的多处理机体系结构195

8.4　并行任务调度策略和存储管理198

8.5　RAP/LOP在分布处理机上的实现210

9.1　编译环境的总体结构223

第九章　并行推理机编译环境的设计与实现223

9.2并行RAP/LOP—WAM编译器227

9.3　编译环境的实现242

第十章　并行推理机模拟实验系统的设计与实现245

10.1　RAP/LOP—PIM—SES的特点245

10.2　RAP/LOP—PIM—SES系统组成247

第十一章实验结果及性能评价253

11.1　SES—PIM系统简介253

11.2　CAAP方法与DeGroot方法的实验对比254

11.3 CAAP方法与ICAAP方法的实验对比257

11.4 RAP/LOP—WAM的单机性能259

11.5 RAP/LOP—WAM的多机性能261

参考文献270