Исследовательская группа

Лаборатория языковых инструментов

Операционная и аксиоматическая семантика языка Пролог

April 25

Язык Пролог возникает как ассоциация первого уровня при упоминании логического программирования. В докладе будут напомнены основные принципы программирования на Прологе, приведена его операционная смантика и её связь с задачей выполнимости формул логики первого порядка.

Докладчик: Дмитрий Булычев.