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

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

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

25 апреля

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

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