"Parallel Logic Programming in Parlog: The Language and Its Implementation" - читать интересную книгу автора (Gregory S.)