Parallel logic programming / - Takeuchi, Akikazu (Wiley, 1992)