GNU Prolog (64-bit) 1.4.3

GNU Prolog (64 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 apribojimo programomis ir kuria vietinius dvejetainius failus, todėl jis yra savarankiškas ir efektyvus.

Vienas iš svarbiausių GNU Prolog pranašumų yra jo galimybė išvengti daugumos nepanaudotų integruotų predikatų kodo susiejimo, todėl vykdomasis failas yra mažesnis. 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. Vertėjas suteikia eilučių redagavimo galimybę interaktyviuoju režimu su užbaigimu atomais, todėl kūrėjams lengva derinti savo kodą.

Programinė įranga atitinka „Prolog“ ISO standartą su daugybe praktikoje labai naudingų plėtinių, tokių kaip pasauliniai kintamieji, OS sąsaja ir lizdai. Tai leidžia kūrėjams lengviau kurti sudėtingas programas, kurios gali sklandžiai sąveikauti su kitomis sistemomis.

„GNU Prolog“ taip pat turi veiksmingą ribotų domenų (FD) apribojimų sprendimą. Tai atveria vartotojams suvaržymo loginį programavimą, derinant apribojimo programavimo galią su loginio programavimo deklaratyvumu. Naudodami šią funkciją vartotojai gali lengvai apibrėžti savo apribojimus, nesijaudindami dėl sintaksės klaidų ar kitų problemų.

Iš anksto nustatyti apribojimai apima aritmetinius apribojimus, tokius kaip sudėjimas ir atėmimas; Būlio apribojimai, tokie kaip AND/OR; simboliniai apribojimai, pavyzdžiui, eilučių atitikimas; reifikuoti apribojimai, leidžiantys išreikšti logines sąlygas naudojant Būlio operatorius; iš anksto nustatyta surašymo euristika, padedanti greitai rasti sprendimus sistemingai tyrinėjant įvairias galimybes.

Vartotojai taip pat gali apibrėžti savo naujus apribojimus naudodami paprastas komandas, kurias pateikia GNU prologo komandinės eilutės kompiliatorius, priimantis įvairius failus. Tai palengvina kūrėjams, kurie nori labiau kontroliuoti savo programos elgesį arba kuriems reikia specifinių funkcijų, kurių nėra iš anksto nustatytose bibliotekose.

Apibendrinant, jei ieškote galingo, bet nemokamo įrankio, leidžiančio lengvai kurti sudėtingas programas, griežtai laikantis pramonės standartų, ieškokite tik GNU prologo!