P-Prolog, a parallel logic programming language - Yang, Rong. (Series in computer science, 1987)