| Верзија | 1.4.3 |
|---|---|
| Издавач | Daniel Diaz |
| Датум изласка | 8. 4. 2013. |
| Датум додавања | 8. 4. 2013. |
| Ос захтеви | Windows, Windows 7 |
| Захтеви | None |
| Укупно преузимања | 1.943 |
| Цена | Free |
Опис
ГНУ Пролог је бесплатни компајлер Пролога са решавањем ограничења преко коначних домена. ГНУ Пролог прихвата Пролог са програмима ограничења и производи изворне бинарне датотеке (као што гцц ради из Ц извора). Добијени извршни фајл је тада самосталан. Величина овог извршног фајла може бити мала пошто ГНУ Пролог може да избегне повезивање кода већине некоришћених уграђених предиката. Перформансе ГНУ Пролога су веома охрабрујуће (упоредиве са комерцијалним системима). Поред компилације изворног кода, ГНУ Пролог нуди класични интерпретер (највишег нивоа) са дебагером.
Пролог део је у складу са ИСО стандардом за Пролог са многим проширењима која су веома корисна у пракси (глобалне варијабле, ОС интерфејс и утичнице). ГНУ Пролог такође укључује ефикасан решавач ограничења преко коначних домена (ФД). Ово отвара логичко програмирање ограничења за корисника комбинујући моћ програмирања ограничења са декларативношћу логичког програмирања. Карактеристике укључују усклађеност са ИСО стандардом за Пролог, могућност за уређивање линија под интерактивним интерпретатором са комплетирањем атома, двосмерни интерфејс између Пролога и Ц-а, компајлер изворног кода који производи самосталне извршне датотеке, једноставан компајлер командне линије који прихвата различите фајлове, унапред дефинисане ограничења: аритметичка ограничења, Булова ограничења, симболичка ограничења и реифицирана ограничења, унапред дефинисана хеуристика набрајања и корисник може да дефинише своја нова ограничења.
