| Versija | 1.4.3 |
|---|---|
| Leidėjas | Daniel Diaz |
| Išleidimo data | 2013-04-08 |
| Data pridėta | 2013-04-08 |
| OS reikalavimai | Windows, Windows 7 |
| Reikalavimai | None |
| Iš viso atsisiuntimų | 1 943 |
| Kaina | Free |
apibūdinimas
GNU Prolog yra nemokamas Prolog kompiliatorius su apribojimų sprendimu baigtiniuose domenuose. GNU Prolog priima Prolog su apribojimo programomis ir sukuria vietinius dvejetainius failus (kaip gcc iš C šaltinio). Tada gautas vykdomasis failas yra atskiras. Šio vykdomojo failo dydis gali būti mažas, nes GNU Prolog gali išvengti daugelio nenaudojamų integruotų predikatų kodo susiejimo. GNU Prolog pasirodymai yra labai džiuginantys (palyginami su komercinėmis sistemomis). Be vietinio kodo kompiliacijos, GNU Prolog siūlo klasikinį vertėją (aukščiausio lygio) su derintuvu.
„Prolog“ dalis atitinka „Prolog“ ISO standartą su daugybe praktikoje labai naudingų plėtinių (pasauliniai kintamieji, OS sąsaja ir lizdai). „GNU Prolog“ taip pat turi veiksmingą ribotų domenų (FD) apribojimų sprendimą. Tai atveria suvaržymo loginį programavimą vartotojui, sujungiant apribojimo programavimo galią su loginio programavimo deklaratyvumu. Funkcijos apima atitiktį ISO standartui Prolog, eilučių redagavimo funkciją su interaktyviu interpretatoriumi su užbaigimu ant atomų, dvikryptę sąsają tarp Prolog ir C, vietinio kodo kompiliatorių, gaminantį atskirus vykdomuosius failus, paprastą komandinės eilutės kompiliatorių, priimantį įvairius failus, iš anksto nustatytus apribojimai: aritmetiniai apribojimai, Būlio apribojimai, simboliniai apribojimai ir pakartotiniai apribojimai, iš anksto nustatyta išvardijimo euristika ir vartotojas gali apibrėžti savo naujus apribojimus.
