GNU Prolog

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

GNU Prolog
Тип Компилятор
Автор Daniel Diaz[d][1]
Разработчик Daniel Diaz
Написана на C
Операционная система Linux, Solaris, Windows, BSD, Mac OS X
Первый выпуск январь 1996[2]
Последняя версия 1.4.4[3] (22 апреля 2013)
Лицензия GPL v2
Сайт gprolog.org

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

См. также

Примечания
  1. https://cri-dist.univ-paris1.fr/diaz/publications/cv-short.html
  2. Diaz D., Codognet P. Design and Implementation of the GNU Prolog System (англ.) — 2001.
  3. GNU Prolog Repo
  4. A Complete Guide to Computer Fundamentals - Sudipto Das - Google Книги

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.