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