P-prolong A parallel logic programming language - Yang, Rong (World scientific series in computer science 9, 1987)