"Conclog: A Methodological Approach to Concurrent Logic Programming " - читать интересную книгу автора (Jean-Marie Jacquet)