Автор trilog пишет ZIP-виртуальную машину на C, чтобы Prolog-программы работали быстрее
A ZIP-style Prolog VM for trilog
Проект zipc — это компилятор Prolog в абстрактную машину ZIP из статьи Clocksin 1984 года и сама виртуальная машина на C. Компилятор написан на Prolog и работает на Scryer Prolog, выдавая бинарный образ, который загружает VM. Цель — сравнить производительность с текущим рантаймом trilog, где клаузы интерпретируются алгоритмом ABC: компиляция должна дать меньше инструкций и меньше памяти. Если MVP удастся, zipc может стать бэкендом trilog.
Либо zipc станет бэкендом trilog, если MVP удастся, либо просто останется более быстрым отдельным рантаймом для Prolog — я пока не очень уверен.
- donutdonot
Prolog — такой странный, но интересный язык. Весёлые были времена, когда приходилось программировать на нём в университете.
Остались ли у Prolog какие-то современные применения, или это скорее академический интерес?