逻辑程序并行执行模型的模拟实验研究  

SIMULATION STUDY OF PARALLEL EXECUTION MODELS OF LOGIC PROGRAMS

作　　者：孙成政[1] 慈云桂 

机构地区：[1]长沙工学院计算机系

出　　处：《计算机学报》1989年第9期650-662,共13页Chinese Journal of Computers

摘　　要：本文介绍以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).

关 键 词：逻辑程序 并行执行模型 模拟实验 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]