Тей А., Грибомон П., Луи Ж. и др., Логический подход к искусственному интеллекту.
От классической логики к логическому программированию.

1990, изд-во: Мир, город: Москва, стр. : 432 с., ил., обложка: Издательский переплет, формат: Обычный, состояние: Очень хорошее, небольшой дефект верхней крышки переплета. Проблемы и методы искусственного интеллекта с точки зрения математической логики. Шесть глав в книге: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Для понимания материала требуется только знание основ информатики