GNU Prolog
GNU Prolog | |
---|---|
![]() | |
Тип | Компилятор |
Автор | Daniel Diaz[вд][3] |
Разработчик | Проект GNU |
Написана на | Си[4] |
Операционные системы | GNU/Linux[5], BSD[вд][5], macOS[5] и Windows[5] |
Первый выпуск | январь 1996[1] |
Последняя версия | |
Репозиторий | github.com/didoudiaz/gpr… |
Лицензия | LGPLv3.0+[вд][5] и GNU GPL 2+[5] |
Сайт | gprolog.org (англ.) |
GNU Prolog (gprolog) — компилятор языка программирования Пролог, разработанный Даниэлем Диасом (фр. Daniel Diaz) с встроенным интерактивным отладчиком.[6] Доступен для Unix, Windows и Mac OS X. Поддерживает расширения языка: программирование в ограничениях над конечными множествами, работу с файлами при помощи грамматик, построенных на определённых предложениях (DC-грамматик). Также предоставляет интерфейс к операционной системе.
Компилятор транслирует исходный код в байт-код, который затем интерпретируется абстрактной машиной Уоррена[англ.]. Виртуальная машина и байт-код объединяются и сохраняются в виде отдельного исполняемого файла.
См. также
[править | править код]Примечания
[править | править код]- ↑ Diaz D., Codognet P. Design and Implementation of the GNU Prolog System (англ.) — 2001.
- ↑ Diaz D. GNU Prolog 1.5.0 is released (англ.) — 2021.
- ↑ https://cri-dist.univ-paris1.fr/diaz/publications/cv-short.html
- ↑ The gprolog Open Source Project on Open Hub: Languages Page — 2006.
- ↑ 1 2 3 4 5 6 Free Software Directory
- ↑ A Complete Guide to Computer Fundamentals - Sudipto Das - Google Книги
Ссылки
[править | править код]- gprolog.org — домашняя страница
- GNU Prolog for Java
Это заготовка статьи о программном обеспечении. Помогите Википедии, дополнив её. |