摘要
在E. Y. Shapiro教授的Concurrent Prolog语言的基础上,作者扩充并增强其功能后设计实现了并行逻辑程序设计语言PALOG(PArallel LOGic programming language)。它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。本文介绍了PALOG的有关特征和语法规则,并通过一个并行逻辑专家系统在PALOG环境中的执行,初步演示了其功能,评价了其效率。
Parallel logic programming Language PALOG based on Concurrent Prolog by Professor E.Y.Shapiro is designed and implemented by the author after extending and enhancing its functions. It is now really a parallel logic programming language which can execute on microcomputers in our country. This paper briefly introduces some inherent features and syntax rules of PALOG, basically demonstrates its functions and estimates its affectiveness with the execution of a parallel logic expert system in the environment of PALOG.
关键词
并行逻辑程序
设计语言
效率
PALOG
parallel logic programming languagej parallel ogic expert system
AND/OR tree
multiprocessor architecture
process, Parallel processing
