And/Or parallel execution of logic programs
Zheng Yuhua, Tu Honglei, Li Xie · ACM SIGPLAN Notices · 1993
This paper proposes a new And/Or parallel execution model (FORDAP) for logic programs which can not only exploit full Or- and independent And-parallelism, but also can exploit dependent And-parallelism with a limited increment of runtime cost. A synchronization mechanism is constructed on a shared variable between its producer and its consumers and a consumer with a large granularity is decomposed further to let its subgoals independent to that producer to execute without delay. A granularity computation algorithm is presented for the control of a goal's decomposition.