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

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

См. также

• SWI-Prolog

Примечания