Parallel logic programming

Akikazu Takeuchi. Parallel logic programming. Wiley series in parallel computing, Wiley, 1992.