Русская Википедия:GNU Prolog

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

См. также

Примечания

Шаблон:Примечания

Ссылки

Шаблон:GNU

Шаблон:Unix-stub