Logic program offer many opportunities for parallelism due to its internal nondeterminism. In this paper, an parallelism detection algorithm is proposed for parallel processing of logic program. Proposed algorithm derives data dependency graph for eac...
Logic program offer many opportunities for parallelism due to its internal nondeterminism. In this paper, an parallelism detection algorithm is proposed for parallel processing of logic program. Proposed algorithm derives data dependency graph for each clause at compile time and the resulting dependency graph can be used at run time to manipulate forward and backward execution efficiently.