Abstract: 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.