【逻辑程序并行处理技术】胡守仁高耀清黄志毅.pdf

Parallel Processing of Logic Programs 逻辑程序并行处理技术胡守仁高耀清黄志毅编著湖南长沙

序言随着计算机科学与技术的迅逆发展和计算机应用的日益普及,对计算机提出了更高的要求:不但要能以更高的速度进行补学计算、数据处理、实时控制,而且要能高效地支持知识处理,以满足人工智能研究和应用的需要,佳人类智能得以延伸和扩展,更好地创造美好的未来.逻辑,它的诞生是计算机语言由过程性向描述性发展的重要里程碑,对于软件维护,提高软件生产率,保证程序的正确性有重要意义。此外,由于它具有良好的理论基础、丰富的表达能力、清断的指称语义和操作语义、便于实现自动推理以及可开发的替在并行性等特点,因此它在人工智能领域得到广泛的应用。

第三章分析比较几种典型的并行逻辑,重点给出了GHC的实现技术,并提出了加注的PROLOG语言.第四章系统论述一种开发逻辑程序AND并行性的静态编译方法.第五章给出了一种改进的开发AND并行性的方法.第六章给出了开发AND并行性时,处理逻辑程序中副作用的几种方法.第七章系统论述逻辑程序受限AND/OR并行执行模型.第八章基于受限AND/OR并行执行模型,详细论述RAP/LOP并行抽象机和相应的体系结构.第九章介绍并行推理机的编译环境.第十章介绍并行推理机模拟实验系统.第十一章给出了实验结果及性能评价。