A very intelligent backtracking method for logic programs

The CIB method seems more suited to implement both OR and AND parallelism than the usual way of executing Prolog: (i) for the OR parallelism a process can be associated to each unifiable plan generated by the backtrack method (each process independent from the others). (ii) for AND parallelism the DCG graph of a plan P will surely be useful in coordinating the work of several processes expanding P.