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