Исследовательская группа
Лаборатория языковых инструментов
Операционная и аксиоматическая семантика языка Пролог
April 25
Язык Пролог возникает как ассоциация первого уровня при упоминании логического программирования. В докладе будут напомнены основные принципы программирования на Прологе, приведена его операционная смантика и её связь с задачей выполнимости формул логики первого порядка.
Докладчик: Дмитрий Булычев.