摘要
本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与”并行，同时也开发了一定的“或”并行，从而有效地力。速了逻辑程序的执行。
In this paper, a parallel execution model of logic programs is given on the basis of staticdata dependency analysis and dynamic adjustment. Under the control of this model, both ANDparllelism and OR-parallelism can be achieved.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1994年第5期1-6,共6页
Journal of Computer Research and Development
关键词
逻辑程序
静态相关性
execution graph. static dependency, dynamic dependency.
