GNU Prolog
| GNU Prolog | |
|---|---|
| |
| Тип | Компилятор |
| Автор | Daniel Diaz[1] |
| Разработчик | Проект GNU |
| Написана на | Си[2] |
| Операционные системы | GNU/Linux[3], BSD[3], macOS[3] и Windows[3] |
| Первый выпуск | январь 1996[4] |
| Последняя версия | |
| Репозиторий | github.com/didoudiaz/gpr… |
| Лицензия | LGPLv3.0+[3] и GNU GPL 2+[3] |
| Сайт | gprolog.org (англ.) |
GNU Prolog (gprolog) — компилятор языка программирования Пролог, разработанный Даниэлем Диасом (фр. Daniel Diaz) с встроенным интерактивным отладчиком.[6] Доступен для Unix, Windows и Mac OS X. Поддерживает расширения языка: программирование в ограничениях над конечными множествами, работу с файлами при помощи грамматик, построенных на определённых предложениях (DC-грамматик). Также предоставляет интерфейс к операционной системе.
Компилятор транслирует исходный код в байт-код, который затем интерпретируется абстрактной машиной Уоррена. Виртуальная машина и байт-код объединяются и сохраняются в виде отдельного исполняемого файла.
См. также
Примечания
- ↑ 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
- ↑ Diaz D., Codognet P. Design and Implementation of the GNU Prolog System (англ.) — 2001.
- ↑ Diaz D. GNU Prolog 1.5.0 is released (англ.) — 2021.
- ↑ A Complete Guide to Computer Fundamentals - Sudipto Das - Google Книги
Ссылки
- gprolog.org — домашняя страница
- GNU Prolog for Java
