GNU Prolog
Зовнішній вигляд
| Тип | Compiler |
|---|---|
| Автор | Daniel Diazd[1] |
| Розробник | Даніел Діас[2] |
| Стабільний випуск | 1.5.0 (8 липня 2021) |
| Операційна система | Linux, Solaris, Windows, BSD, Mac OS X |
| Мова програмування | C |
| Стан розробки | активний |
| Ліцензія | GNU General Public License v2 (or above) or GNU Lesser General Public License v3 (or above) or both in parallel |
| Онлайн-документація | gprolog |
| Репозиторій | https://github.com/didoudiaz/gprolog |
| Вебсайт | gprolog |
GNU Prolog (також званий gprolog) — компілятор, розроблений Даніелем Діасом, який включає інтерактивне середовище для налагодження Prolog. Доступне на Unix, Windows, Mac OS X та Linux. Він також підтримує певні розширення для Prolog, включаючи програмування в обмеженнях над скінченним доменом, розбір з використанням граматики визначених тверджень та інтерфейс операційної системи.
Компілятор на основі вихідного коду програми створює байт-код, який може бути інтерпретований абстрактною машиною Воррена (WAM) і будує з нього окремі виконувані файли.
