| Versioon | 1.4.3 |
|---|---|
| Kirjastaja | Daniel Diaz |
| Väljalaske kuupäev | 8. apr 2013 |
| Kuupäev lisatud | 8. apr 2013 |
| Os nõuded | Windows, Windows 7 |
| Nõuded | None |
| Allalaadimisi kokku | 1 943 |
| Hind | Free |
Kirjeldus
GNU Prolog on tasuta Prologi kompilaator, mis lahendab piiratud domeenide piiranguid. GNU Prolog aktsepteerib Prologi koos piiravate programmidega ja toodab natiivseid binaarfaile (nagu teeb gcc C-allikast). Saadud käivitatav fail on siis iseseisev. Selle käivitatava faili suurus võib olla väike, kuna GNU Prolog suudab vältida enamiku kasutamata sisseehitatud predikaatide koodide linkimist. GNU Prologi jõudlus on väga julgustav (võrreldav kommertssüsteemidega). Lisaks omakoodi kompileerimisele pakub GNU Prolog klassikalist tõlki (tipptasemel) koos siluriga.
Prologi osa vastab Prologi ISO standardile paljude praktikas väga kasulike laiendustega (globaalsed muutujad, OS-i liides ja pistikupesad). GNU Prolog sisaldab ka tõhusat piiratud domeenide (FD) piirangute lahendajat. See avab kasutajale piirangute loogika programmeerimise, ühendades piirangute programmeerimise võimsuse loogilise programmeerimise deklaratiivsusega. Funktsioonide hulka kuulub vastavus Prologi ISO standardile, rea redigeerimisvõimalus interaktiivse tõlgi all koos aatomitega, kahesuunaline liides Prologi ja C vahel, natiivse koodi kompilaator, mis toodab eraldiseisvaid käivitatavaid faile, lihtne käsurea kompilaator, mis aktsepteerib mitmesuguseid faile, eelmääratletud piirangud: aritmeetilised piirangud, Boole'i piirangud, sümboolsed piirangud ja täpsustatud piirangud, etteantud loendusheuristika ja kasutaja saab ise määratleda oma uued piirangud.
