Evelina Lamma;Paola Mello;Cesare Stefanelli;Pascal Van Hentenryck
-;-;-;-
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey