GNU Prolog yra nemokama Prolog kompiliatorių suvaržymo sprendžiant per baigtines domenus. GNU Prolog priima Prolog su suvaržymo programas ir gamina gimtoji dvejetainius (kaip gcc daro iš C šaltinis). Gauti vykdomąjį tada savarankiškas. Šio vykdomąjį dydis gali būti nedidelis, nes GNU Prolog galima išvengti susiejant dauguma nepanaudotų įmontuotais predikatai kodą. Iš GNU Prolog spektakliai yra labai optimistiški (panašus į komercinių sistemų). Šalia gimtoji kodo rengimo, GNU Prolog siūlo klasikinį vertėją (aukščiausio lygio) su derintuvės.
Prolog dalis atitinka ISO standartą Prolog su daugeliu pratęsimų labai naudinga praktikoje (globalių kintamųjų, OS sąsaja, ir lizdai). GNU Prolog taip pat veiksmingą spaudimą, Solver virš baigtinių sritis (FD). Tai atveria apribojimo logika programavimo vartotojui derinant apribojimų programavimo galią logikos programavimo declarativity. Features include Atitinka ISO standartą Prolog, linija redagavimo priemonę pagal interaktyvaus vertėjo su Užbaigus atomų, dvikrypčio sąsajos Prolog ir C, gimtoji kodas kompiliatorius gamina atskira vykdomąjį, paprastas komandų eilutės kompiliatorius priimdamas failų įvairovė, iš anksto apribojimai:. aritmetinės apribojimus, Būlio apribojimus, simboliniai suvaržymų ir reified apribojimus, iš anksto skaičiavimas euristika, ir vartotojas gali nustatyti savo naujame apribojimus
Komentarai nerastas