| Версия | 1.4.3 |
|---|---|
| Издател | Daniel Diaz |
| Дата на излизане | 8.04.2013 г. |
| Датата е добавена | 8.04.2013 г. |
| Os изисквания | Windows, Windows 7 |
| Изисквания | None |
| Общо изтегляния | 1 943 |
| Цена | Free |
Описание
GNU Prolog е безплатен компилатор на Prolog с решаване на ограничения върху крайни домейни. GNU Prolog приема Prolog с програми за ограничения и произвежда собствени двоични файлове (както gcc прави от C източник). След това полученият изпълним файл е самостоятелен. Размерът на този изпълним файл може да бъде малък, тъй като GNU Prolog може да избегне свързването на кода на повечето неизползвани вградени предикати. Изпълненията на GNU Prolog са много окуражаващи (сравними с комерсиалните системи). Освен компилацията на естествен код, GNU Prolog предлага класически интерпретатор (от най-високо ниво) с дебъгер.
Частта на Prolog съответства на стандарта ISO за Prolog с много разширения, много полезни на практика (глобални променливи, OS интерфейс и сокети). GNU Prolog също включва ефективен инструмент за решаване на ограничения над крайни домейни (FD). Това отваря логическото програмиране на ограниченията за потребителя, комбинирайки силата на програмирането с ограничения с декларативността на логическото програмиране. Характеристиките включват съответствие с ISO стандарта за Prolog, възможност за редактиране на редове под интерактивния интерпретатор с завършване на атоми, двупосочен интерфейс между Prolog и C, компилатор на естествен код, създаващ самостоятелни изпълними файлове, прост компилатор на команден ред, приемащ различни файлове, предварително дефинирани ограничения: аритметични ограничения, булеви ограничения, символни ограничения и реифицирани ограничения, предварително дефинирани евристики за изброяване и потребителят може да дефинира свои собствени нови ограничения.
