GNU Prolog

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

GNU Prolog
Логотип программы GNU Prolog
Тип Компилятор
Автор Daniel Diaz[d][2]
Разработчик Daniel Diaz
Написана на C
Операционные системы Linux, Solaris, Windows, BSD, Mac OS X
Первый выпуск январь 1996[1]
Последняя версия 1.5.0 (8 июля 2021)
Репозиторий github.com/didoudiaz/gpr…
Лицензия GPL v2
Сайт gprolog.org

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

См. также править

Примечания править

Ссылки править