摘要
本文介绍以SES-PIM系统为工具,对三种不同的逻辑程序执行模型进行对此模拟实验研究的结果。实验表明:PSOF模型能有效地开发确定性和非确定性逻辑程序的AND和OR两种并行性;PSOT模型却只能开发逻辑程序中的OR并行性;而SSOT模型不能开发逻辑程序中的并行性。对于本文使用的五个典型问题,PSOF模型的平均并行度是PSOT模型的3至6倍,是SSOT模型的3至19倍;PSOF模型的搜索速度是PSOT模型的2至6倍,是SSOT模型的3至13倍。
The results of simulation study of three different execution models of logic programs are presented. The three models are: PSOF (Parallel Search of Or Forest), PSOT (Parallel Searph of Or Tree) and SSOT (Sequential Search of Or Tree).
出处
《计算机学报》
EI
CSCD
北大核心
1989年第9期650-662,共13页
Chinese Journal of Computers
