GNU Prolog

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
GNU Prolog
Тип

Компилятор

Разработчик

Daniel Diaz

Написана на

C

Операционная система

Linux, Solaris, Windows, BSD, Mac OS X

Последняя версия

1.4.2[1] (4 декабря 2012)

Лицензия

GPL v2

Сайт

gprolog.org

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

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

См. также[править | править исходный текст]

Примечания[править | править исходный текст]

Ссылки[править | править исходный текст]