GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 bitų) yra galingas ir nemokamas Prolog kompiliatorius, siūlantis ribotų domenų apribojimų sprendimą. Ši programinė įranga skirta kūrėjams, kuriems reikia lengvai kurti sudėtingas programas. GNU Prolog priima Prolog su apribojančiomis programomis ir sukuria savuosius dvejetainius failus, kaip tai daro gcc iš C šaltinio. Tada gautas vykdomasis failas yra atskiras, o tai reiškia, kad jis gali veikti bet kuriame kompiuteryje, nereikalaujant papildomos programinės įrangos ar bibliotekų.

Vienas iš svarbiausių GNU Prolog privalumų yra jo mažas dydis. Kadangi ši programinė įranga gali išvengti daugelio nenaudojamų integruotų predikatų kodo susiejimo, vykdomojo failo dydis gali būti labai mažas. Dėl to jis idealiai tinka kūrėjams, norintiems kurti lengvas programas, kurios neužima per daug vietos vartotojų kompiuteriuose.

GNU Prolog pasirodymai taip pat labai džiuginantys ir palyginami su komercinėmis sistemomis. Tai reiškia, kad galite pasikliauti šia programine įranga, kad kiekvieną kartą ją naudodami gausite greitų ir efektyvių rezultatų.

Be vietinio kodo kompiliacijos, GNU Prolog siūlo klasikinį vertėją (aukščiausio lygio) su derintuvu. Vertėjas leidžia interaktyviai išbandyti kodą ir derinti visas problemas, kurios kyla kuriant.

„Prolog“ dalis atitinka „Prolog“ ISO standartą su daugybe praktikoje labai naudingų plėtinių (pasauliniai kintamieji, OS sąsaja ir lizdai). Tai reiškia, kad galite pasikliauti šia programine įranga ir gauti patikimų rezultatų kiekvieną kartą, kai ją naudojate.

„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:

- Atitinka ISO standartą prologui

- Eilučių redagavimo galimybė naudojant interaktyvų vertėją su atomais

- Dvikryptė sąsaja tarp prologo ir C

- Native-code kompiliatorius, gaminantis atskirus vykdomuosius failus

- Paprastas komandinės eilutės kompiliatorius, priimantis įvairius failus

- Iš anksto nustatyti apribojimai: aritmetiniai apribojimai, Būlio apribojimai, simboliniai apribojimai, reifikuoti apribojimai.

- Iš anksto nustatyta surašymo euristika.

- Vartotojo nustatyti nauji apribojimai

Apibendrinant:

Jei ieškote galingo, bet nemokamo prologo kompiliatoriaus su apribojimų sprendimu baigtiniuose domenuose, ieškokite tik 32 bitų GNU prologo! Dėl savo mažo dydžio, tačiau įspūdingų našumo galimybių, sujungtų su intuityvia vartotojo sąsaja, ši programa puikiai tinka ne tik pradedantiesiems, bet ir patyrusiems programuotojams!