GNU Prolog is 'n gratis Prolog samesteller met dwang oplossing oor eindige domeine. GNU Prolog aanvaar Prolog met dwang programme en produseer moedertaal binaries (soos gcc doen van 'n C bron). Die verkry uitvoerbare word dan losstaande. Die grootte van hierdie uitvoerbare kan klein wees, aangesien GNU Prolog kan voorkom koppeling van die kode van die meeste ongebruikte gebou-in predicaten. Die prestasies van die GNU Prolog is baie bemoedigend (vergelykbaar met kommersiële stelsels). Langs die moedertaal-kode samestelling, GNU Prolog bied 'n klassieke tolk (top-vlak) met 'n debugger.
Die Prolog deel voldoen aan die ISO standaard vir Prolog met baie uitbreidings baie nuttig in die praktyk (globale veranderlikes, OS koppelvlak, en voetstukke). GNU Prolog sluit ook 'n doeltreffende beperking oplosser oor eindige Domains (FD). Dit maak beperking logika ontwikkeling aan die gebruiker die kombinasie van die krag van beperking ontwikkeling aan die declarativity logika programmering. Kenmerke sluit voldoen aan die ISO standaard vir Prolog, lyn redigering fasiliteit onder die interaktiewe tolk met die voltooiing van atome, tweerigting koppelvlak tussen Prolog en C, inheemse-kode samesteller vervaardiging staan alleen executables, eenvoudige opdrag-lyn samesteller aanvaarding van 'n verskeidenheid van lêers, gedefinieerde beperkings:. rekenkundige beperkings, Boole beperkings, simboliese beperkings, en reified beperkings, gedefinieerde opsomming heuristiek, en die gebruiker kan sy eie nuwe beperkinge definieer
Kommentaar nie gevind