GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bitni) je močan in brezplačen prevajalnik Prolog, ki ponuja reševanje omejitev v končnih domenah. Ta programska oprema je zasnovana za razvijalce, ki morajo z lahkoto ustvarjati zapletene programe. GNU Prolog sprejema Prolog z omejitvenimi programi in proizvaja izvorne dvojiške datoteke, tako kot gcc iz vira C. Dobljena izvedljiva datoteka je nato samostojna, kar pomeni, da se lahko izvaja na kateremkoli računalniku brez potrebe po dodatni programski opremi ali knjižnicah.

Ena najpomembnejših prednosti GNU Prologa je njegova majhnost. Ker se ta programska oprema lahko izogne ​​povezovanju kode večine neuporabljenih vgrajenih predikatov, je lahko velikost izvršljive datoteke zelo majhna. Zaradi tega je idealen za razvijalce, ki želijo ustvariti lahke aplikacije, ki ne zavzamejo preveč prostora na uporabnikovih računalnikih.

Tudi zmogljivosti GNU Prolog so zelo spodbudne in primerljive s komercialnimi sistemi. To pomeni, da se lahko zanesete na to programsko opremo, da bo zagotovila hitre in učinkovite rezultate vsakič, ko jo uporabite.

Poleg prevajanja izvorne kode GNU Prolog ponuja klasični tolmač (na najvišji ravni) z razhroščevalnikom. Tolmač vam omogoča interaktivno testiranje kode in odpravljanje težav, ki se pojavijo med razvojem.

Del Prolog je skladen s standardom ISO za Prolog s številnimi razširitvami, zelo uporabnimi v praksi (globalne spremenljivke, vmesnik OS in vtičnice). To pomeni, da se lahko zanesete, da bo ta programska oprema zagotovila zanesljive rezultate vsakič, ko jo uporabite.

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.

Lastnosti:

- V skladu 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čene omejitve: aritmetične omejitve, logične omejitve, simbolne omejitve, reificirane omejitve.

- Vnaprej določena hevristika naštevanja.

- Uporabniško določene nove omejitve

V povzetku:

Če iščete zmogljiv, a brezplačen prologue prevajalnik z reševanjem omejitev v končnih domenah, potem ne iščite dlje kot GNU prologue 32-bit! S svojo majhnostjo, a impresivno zmogljivostjo in intuitivnim uporabniškim vmesnikom je ta program popoln ne le za začetnike, ampak tudi za izkušene programerje!