GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-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, zaradi česar je samostojen in učinkovit.

Ena najpomembnejših prednosti GNU Prologa je njegova sposobnost, da se izogne ​​povezovanju kode večine neuporabljenih vgrajenih predikatov, kar ima za posledico manjše velikosti izvršljivih datotek. 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. Tolmač ponuja možnost urejanja vrstic v interaktivnem načinu z dokončanjem na atomih, kar razvijalcem olajša odpravljanje napak v kodi.

Programska oprema je skladna s standardom ISO za Prolog s številnimi razširitvami, zelo uporabnimi v praksi, kot so globalne spremenljivke, vmesnik OS in vtičnice. To razvijalcem olajša ustvarjanje kompleksnih programov, ki lahko nemoteno sodelujejo z drugimi sistemi.

GNU Prolog vključuje tudi učinkovit reševalec omejitev nad končnimi domenami (FD). To odpira uporabnikom logično programiranje z omejitvami z združevanjem moči programiranja z omejitvami in deklarativnostjo logičnega programiranja. S to funkcijo lahko uporabniki enostavno določijo svoje omejitve, ne da bi jih skrbelo sintaksne napake ali druge težave.

Vnaprej določene omejitve vključujejo aritmetične omejitve, kot sta seštevanje in odštevanje; Logične omejitve, kot je IN/ALI; simbolne omejitve, kot je ujemanje nizov; reificirane omejitve, ki vam omogočajo izražanje logičnih pogojev z uporabo logičnih operatorjev; vnaprej določena hevristika oštevilčenja, ki vam pomaga hitro najti rešitve s sistematičnim raziskovanjem različnih možnosti.

Uporabniki lahko tudi definirajo svoje lastne nove omejitve z uporabo preprostih ukazov, ki jih ponuja prevajalnik ukazne vrstice GNU prologue, ki sprejema različne datoteke. To olajša razvijalcem, ki želijo več nadzora nad vedenjem svojega programa ali potrebujejo posebno funkcionalnost, ki ni na voljo v vnaprej določenih knjižnicah.

Če povzamemo, če iščete zmogljivo, a brezplačno orodje, ki vam omogoča preprosto ustvarjanje zapletenih programov, medtem ko je strogo v skladu z industrijskimi standardi, potem ne iščite dlje kot GNU prologue!