... Метод интерактивного функционального моделирования информационных систем и Акторный Пролог . ... Метод повторного доказательства подцелей логической программы, позволяющий интерпретировать в логическом языке интерактивный режим и разрушающее присваивание. ... Структурными семантическими моделями названы логические программы, описывающие каждый блок ФД информационной системы в виде некоторого объекта логического языка (точнее, экземпляра класса или "мира", в терминах Акторного Пролога). ...