"P-Prolog: A Parallel Logic Programming Language" - читать интересную книгу автора (Yang R.)