Система ЭЗОП (Элементов Задач и ОПределений) представляет собой програмную среду для формализации знаний различных предметных областей.