GNU Prolog (64-bit) 1.4.3

ГНУ Пролог (64-бит) је моћан и бесплатан компајлер Пролога који нуди решавање ограничења преко коначних домена. Овај софтвер је дизајниран за програмере који треба да креирају сложене програме са лакоћом. ГНУ Пролог прихвата Пролог са програмима ограничења и производи изворне бинарне датотеке, чинећи га самосталним и ефикасним.

Једна од најзначајнијих предности ГНУ Пролога је његова способност да избегне повезивање кода већине некоришћених уграђених предиката, што резултира мањим извршним величинама. Перформансе ГНУ Пролога су веома охрабрујуће, упоредиве са комерцијалним системима.

Поред компилације изворног кода, ГНУ Пролог нуди класични интерпретер (највишег нивоа) са дебагером. Интерпретатор пружа могућност за уређивање линија у интерактивном режиму са довршавањем на атомима, што олакшава програмерима да отклоне грешке у свом коду.

Софтвер је усклађен са ИСО стандардом за Пролог са многим проширењима која су веома корисна у пракси, као што су глобалне варијабле, ОС интерфејс и утичнице. Ово олакшава програмерима да креирају сложене програме који могу беспрекорно да комуницирају са другим системима.

ГНУ Пролог такође укључује ефикасан решавач ограничења преко коначних домена (ФД). Ово отвара корисницима логичко програмирање ограничења комбиновањем моћи програмирања ограничења са декларативношћу логичког програмирања. Са овом функцијом, корисници могу лако да дефинишу своја ограничења без бриге о синтаксичким грешкама или другим проблемима.

Унапред дефинисана ограничења укључују аритметичка ограничења као што су сабирање и одузимање; Булова ограничења попут АНД/ОР; симболичка ограничења попут подударања стрингова; реификована ограничења која вам омогућавају да изразите логичке услове користећи Булове операторе; унапред дефинисана хеуристика набрајања која вам помаже да брзо пронађете решења систематским истраживањем различитих могућности.

Корисници такође могу дефинисати сопствена нова ограничења користећи једноставне команде које обезбеђује компајлер командне линије ГНУ прологуе-а који прихвата различите датотеке. Ово олакшава програмерима који желе више контроле над понашањем свог програма или им је потребна специфична функционалност која није доступна у унапред дефинисаним библиотекама.

Укратко, ако тражите моћну, али бесплатну алатку која вам омогућава да лако креирате сложене програме уз стриктно поштовање индустријских стандарда, онда не тражите даље од ГНУ пролога!