Competition: A Model of AND-Parallel Execution of Logic Programs
K.W. Ng · The Computer Journal · 1990
An execution model for AND-parallel execution of logic programs is presented. This model is designed on the basis of the Lin-Kumar-Leung model and a Backward Execution algorithm proposed by Conery. The new algorithm is applicable to non-static data dependency graphs