"Логическое программирование и Visual Prolog" - читать интересную книгу автора (Анатолий Адаменко, Андрей Кучуков)