Утилита для реализации вывода с использованием логики с оценками.
Логика с оценками - нечёткая логика, дополненная операциями сравнения степени истинности выражений.
Данная утилита использует модификацию метода семантических таблиц для определения, есть ли у базы знаний (набора формул с общими переменными) открытые ветви. Если все ветви закрыты - БЗ невыполнима.