Программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.