JetBrains Research — наука, меняющая мир

Логическое программирование высшего порядка

В докладе мы познакомимся с языком программирования λProlog. Объединяя логическое программирование с программированием высшего порядка, λProlog позволяет естественным образом поддерживать HOAS для описания языков, избавляя программиста от необходимости ручной работы со связываниями переменных. В случае с отношениями высшего порядка унификация является неразрешимой, однако существует некоторое подмножество языка, на котором унификацию всегда можно выполнить. Я расскажу про то, зачем нужно логическое программирование высшего порядка и как в нем реализовать унификацию.

Докладчик: Екатерина Вербицкая

Материалы к докладу:

Сайт λProlog: http://www.lix.polytechnique.fr/~dale/lProlog
Реализация λProlog: http://teyjus.cs.umn.edu/
Книга "Programming with Higher-Order Logic" https://sites.google.com/site/proghol/

Семинар пройдет онлайн 14 сентября в 17:15, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu