GNU Prolog

GNU Prolog
Тип	Компилятор
Разработчик	Daniel Diaz
Написана на	C
Операционная система	Linux, Solaris, Windows, BSD, Mac OS X
Последняя версия	1.5.0 (8 июля 2021)
Лицензия	GPL v2
Сайт	gprolog.org

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

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

См. также

• SWI-Prolog

Ссылки

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