[逻辑程序并行处理技术]胡守仁高耀清黄志毅

【逻辑程序并行处理技术】胡守仁高耀清黄志毅.pdfParallel Processing of Logic Programs 逻辑程序 并行处理技术 胡守仁高耀清黄志毅编著 湖南长沙序言 随着计算机科学与技术的迅逆发展和计算机应用的日益普 及,对计算机提出了更高的要求:不但要能以更高的速度进行补 学计算、数据处理、实时控制,而且要能高效地支持知识处理,以 满足人工智能研究和应用的需要,佳人类智能得以延伸和扩展,更 好地创造美好的未来.逻辑,它的诞生是 计算机语言由过程性向描述性发展的重要里程碑,对于软件维护,提高软件生产率,保证程序的正确性有重要意义。此外,由于它 具有良好的理论基础、丰富的表达能力、清断的指称语义和操作 语义、便于实现自动推理以及可开发的替在并行性等特点,因此 它在人工智能领域得到广泛的应用。第三章分析比较几种典型的并行逻辑,重点给 出了GHC的实现技术,并提出了加注的PROLOG语言.第四章系统论述一种开发逻辑程序AND并行性的静态编译 方法.第五章给出了一种改进的开发AND并行性的方法.第六章给出了开发AND并行性时,处理逻辑程序中副作用 的几种方法.第七章系统论述逻辑程序受限AND/OR并行执行模型.第八章基于受限AND/OR并行执行模型,详细论述RAP/LOP并行抽象机和相应的体系结构.第九章介绍并行推理机的编译环境.第十章介绍并行推理机模拟实验系统.第十一章给出了实验结果及性能评价。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。