"Исскуство программирования на языке Пролог" - читать интересную книгу автора (Стерлинг Л., Шапиро Э.)