GNU Prolog

14 Лютого, 2015 0

GNU Prolog (gprolog) – свободный компилятор языка программирования Пролог, разработанный Daniel Diaz с встроенным интерактивным отладчиком. Доступен для операционных систем семейства Unix, Microsoft Windows и Mac OS X.

GNU Prolog поддерживает расширения языка Программирование в ограничениях над конечными множествами, работу с файлами при помощи грамматик, построенных на определённых предложениях (DC-грамматик). Также предоставляет интерфейс к операционной системе.

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