GNU Prolog (64-bit)

Opis

GNU Prolog je besplatni prevodilac Prologa s rješavanjem ograničenja preko konačnih domena. GNU Prolog prihvaća Prolog s programima ograničenja i proizvodi izvorne binarne datoteke (kao što gcc radi iz C izvora). Dobivena izvršna datoteka tada je samostalna. Veličina ove izvršne datoteke može biti mala budući da GNU Prolog može izbjeći povezivanje koda većine nekorištenih ugrađenih predikata. Performanse GNU Prologa su vrlo ohrabrujuće (usporedive s komercijalnim sustavima). Osim kompilacije izvornog koda, GNU Prolog nudi klasični tumač (najviše razine) s programom za ispravljanje pogrešaka.

Dio Prologa usklađen je s ISO standardom za Prolog s mnogim proširenjima vrlo korisnim u praksi (globalne varijable, OS sučelje i utičnice). GNU Prolog također uključuje učinkovito rješavanje ograničenja nad konačnim domenama (FD). Ovo korisniku otvara logičko programiranje ograničenja kombinirajući snagu programiranja ograničenja s deklarativnošću logičkog programiranja. Značajke uključuju usklađenost s ISO standardom za Prolog, mogućnost uređivanja redaka pod interaktivnim tumačem s završetkom na atomima, dvosmjerno sučelje između Prologa i C-a, kompilator izvornog koda koji proizvodi samostalne izvršne datoteke, jednostavan kompilator naredbenog retka koji prihvaća različite datoteke, unaprijed definirane ograničenja: aritmetička ograničenja, Booleova ograničenja, simbolička ograničenja i reificirana ograničenja, unaprijed definirana heuristika nabrajanja, a korisnik može definirati vlastita nova ograničenja.