GNU Prolog

GNU Prolog
Тип	Компилятор
Автор	Daniel Diaz[вд][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

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

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

• SWI-Prolog

• gprolog.org — домашняя страница
• GNU Prolog for Java