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

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

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