论文部分内容阅读
在E. Y. Shapiro教授的Concurrent Prolog语言的基础上,作者扩充并增强其功能后设计实现了并行逻辑程序设计语言PALOG(PArallel LOGic programming language)。它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。本文介绍了PALOG的有关特征和语法规则,并通过一个并行逻辑专家系统在PALOG环境中的执行,初步演示了其功能,评价了其效率。