Логический подход к искусственному интеллекту. От классической логики к логическому программированию (Коллектив авторов)