Символьная и логическая обработка данных: Основные концепции