摘要
A Variable-driven model of AND-parallelism of logic programs isprcscntcd.It statically analyses the values of variables in clauses and picks out the varia.blcs contributing to the parallel execution and then generates the variable-driving graphsfor clauses.According to the variable-driving graph and the analysis of the instantiationsof variables at run,literals are driven to execute.With binding conflicts of shared variablesprevented,the variable-driven model fully develops the AND-parallelism.Based on thevariable-driving graph,somc models of AND-parallelism already put forward can beavailable if cquipcd with appropriate driving algorithms.
A Variable-driven model of AND-parallelism of logic programs is prcscntcd.It statically analyses the values of variables in clauses and picks out the varia. blcs contributing to the parallel execution and then generates the variable-driving graphs for clauses.According to the variable-driving graph and the analysis of the instantiations of variables at run,literals are driven to execute.With binding conflicts of shared variables prevented,the variable-driven model fully develops the AND-parallelism.Based on the variable-driving graph,somc models of AND-parallelism already put forward can be available if cquipcd with appropriate driving algorithms.
