基于编译的逻辑程序的“与”并行

AND-parallelism of Logic Programs Based on Compilation

摘要: 本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。通过编译将逻辑程序的子句转换成执行图表达式。执行时,只需简单的测试即可进行“与”并行求解。该方法有时得不到最佳“与”并行。

Abstract: This paper presents a method to execute logic programs in AND- parallelism based on static data analysis. A clause of logic programs is transformed into an execution graph expression through compilation With simple test at run-time, execution in AND-parallelism can be available. Sometimes the optimal AND-parallelism can not be gained with the method.