"Logische Programmierung" - читать интересную книгу автора (Smolka G., Schulte C.)