第一章　绪论

1.1　逻辑程序的发展简况

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

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

2.1　逻辑程序的理论基础

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

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

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

2.5　逻辑程序的抽象解释

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

3.1　显式并行性和用户加注

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

3.3 加注的PROLOG语言

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

4.1 CAAP方法的背景

4.2 CAAP方法

4.3 比较

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

5.1 问题的提出

5.2 解决的途径

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

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

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

6.2　时钟控制法

6.3　同步块方法

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

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

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

7.2　PSOF模型简介

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

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

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

8.1　Warren抽象机简介

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

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

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

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

9.1　编译环境的总体结构

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

9.2 并行RAP/LOP—WAM编译器

9.3　编译环境的实现

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

10.1　RAP/LOP—PIM—SES的特点

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

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

11.1　SES—PIM系统简介

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

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

11.4 RAP/LOP—WAM的单机性能

11.5 RAP/LOP—WAM的多机性能

参考文献