"Логический подход к искусственному интеллекту : От классической логики к логическому программированию (Пер. с франц.)" - читать интересную книгу автора (Тейз А. , Грибомон П , Луи Ж , и др.)