abstract: Рассматривается построение системы поддержки принятия решений по обложению налогом на добавленную стоимость, в основе функционирования которой лежит логический вывод в исчислении предикатов
keywords: система поддержки принятия решений, логический вывод, налогообложение