GNU Prolog

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

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

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

См. также

• SWI-Prolog