Обзор среды Moderon Logic и языка EEPL