| Različica | 1.4.3 |
|---|---|
| Založnik | Daniel Diaz |
| Datum izdaje | 8. apr. 2013 |
| Datum dodajanja | 8. apr. 2013 |
| Os zahteve | Windows, Windows 7 |
| Zahteve | None |
| Skupno prenosov | 1.943 |
| Cena | Free |
Opis
GNU Prolog je brezplačen prevajalnik Prolog z reševanjem omejitev v končnih domenah. GNU Prolog sprejema Prolog z omejitvenimi programi in izdeluje izvorne dvojiške datoteke (kot gcc iz vira C). Dobljena izvedljiva datoteka je nato samostojna. Velikost te izvršljive datoteke je lahko majhna, saj se lahko GNU Prolog izogne povezovanju kode večine neuporabljenih vgrajenih predikatov. Zmogljivosti GNU Prologa so zelo spodbudne (primerljive s komercialnimi sistemi). Poleg prevajanja izvorne kode GNU Prolog ponuja klasični tolmač (na najvišji ravni) z razhroščevalnikom.
Del Prolog je skladen s standardom ISO za Prolog s številnimi razširitvami, zelo uporabnimi v praksi (globalne spremenljivke, vmesnik OS in vtičnice). GNU Prolog vključuje tudi učinkovit reševalec omejitev nad končnimi domenami (FD). To odpre uporabniku logično programiranje omejitev, ki združuje moč programiranja omejitev z deklarativnostjo logičnega programiranja. Funkcije vključujejo skladnost s standardom ISO za Prolog, možnost urejanja vrstic pod interaktivnim tolmačem z dokončanjem na atomih, dvosmerni vmesnik med Prologom in C, prevajalnik izvorne kode, ki proizvaja samostojne izvedljive datoteke, preprost prevajalnik ukazne vrstice, ki sprejema različne datoteke, vnaprej določeno omejitve: aritmetične omejitve, logične omejitve, simbolne omejitve in reificirane omejitve, vnaprej določene hevristike oštevanja, uporabnik pa lahko definira svoje lastne nove omejitve.
