GNU Prolog

GNU Prolog
Логотип программы GNU Prolog
Тип Компилятор
Автор Daniel Diaz[вд][3]
Разработчик Проект GNU
Написана на Си[4]
Операционные системы GNU/Linux[5], BSD[вд][5], macOS[5] и Windows[5]
Первый выпуск январь 1996[1]
Последняя версия
Репозиторий github.com/didoudiaz/gpr…
Лицензия LGPLv3.0+[вд][5] и GNU GPL 2+[5]
Сайт gprolog.org (англ.)

GNU Prolog (gprolog) — компилятор языка программирования Пролог, разработанный Даниэлем Диасом (фр. Daniel Diaz) с встроенным интерактивным отладчиком.[6] Доступен для Unix, Windows и Mac OS X. Поддерживает расширения языка: программирование в ограничениях над конечными множествами, работу с файлами при помощи грамматик, построенных на определённых предложениях (DC-грамматик). Также предоставляет интерфейс к операционной системе.

Компилятор транслирует исходный код в байт-код, который затем интерпретируется абстрактной машиной Уоррена[англ.]. Виртуальная машина и байт-код объединяются и сохраняются в виде отдельного исполняемого файла.

Примечания

[править | править код]