Description: Исследовательский проект, посвящённый разработке одноимённого объектно-ориентированного логического языка, обладающего теоретико-модельной семантикой, а также логическому программированию систем, функционирующих в динамическом внешнем окружении.