GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) - гэта магутны і бясплатны кампілятар Prolog, які прапануе рашэнне абмежаванняў у канечных абласцях. Гэта праграмнае забеспячэнне прызначана для распрацоўшчыкаў, якім неабходна лёгка ствараць складаныя праграмы. GNU Prolog прымае Prolog з праграмамі абмежаванняў і стварае ўласныя двайковыя файлы, што робіць яго аўтаномным і эфектыўным.

Адной з найбольш значных пераваг GNU Prolog з'яўляецца яго здольнасць пазбягаць звязвання кода большасці невыкарыстоўваемых убудаваных прэдыкатаў, што прыводзіць да меншага памеру выкананага файла. Прадукцыйнасць GNU Prolog вельмі абнадзейлівая, параўнальная з камерцыйнымі сістэмамі.

Акрамя кампіляцыі ўласнага кода, GNU Prolog прапануе класічны інтэрпрэтатар (верхняга ўзроўню) з адладчыкам. Інтэрпрэтатар забяспечвае магчымасць рэдагавання радкоў у інтэрактыўным рэжыме з завяршэннем па атамах, што дазваляе распрацоўшчыкам лёгка адладжваць код.

Праграмнае забеспячэнне адпавядае стандарту ISO для Prolog са шматлікімі вельмі карыснымі на практыцы пашырэннямі, такімі як глабальныя зменныя, інтэрфейс АС і сокеты. Гэта палягчае распрацоўнікам стварэнне складаных праграм, якія могуць бесперашкодна ўзаемадзейнічаць з іншымі сістэмамі.

GNU Prolog таксама ўключае эфектыўны сродак вырашэння абмежаванняў канчатковых даменаў (FD). Гэта адкрывае карыстальнікам лагічнае праграмаванне з абмежаваннямі, спалучаючы магчымасці праграмавання з абмежаваннямі з дэкларатыўнасцю лагічнага праграмавання. З дапамогай гэтай функцыі карыстальнікі могуць лёгка вызначаць свае абмежаванні, не турбуючыся аб сінтаксічных памылках або іншых праблемах.

Зададзеныя абмежаванні ўключаюць арыфметычныя абмежаванні, такія як складанне і адніманне; Лагічныя абмежаванні, такія як І/АБО; сімвалічныя абмежаванні, такія як супастаўленне радкоў; умацаваныя абмежаванні, якія дазваляюць выказваць лагічныя ўмовы з дапамогай лагічных аператараў; прадвызначаная эўрыстыка пераліку, якая дапамагае хутка знаходзіць рашэнні шляхам сістэматычнага вывучэння розных магчымасцей.

Карыстальнікі таксама могуць вызначыць свае ўласныя новыя абмежаванні, выкарыстоўваючы простыя каманды, прадстаўленыя кампілятарам каманднага радка GNU prologue, які прымае розныя файлы. Гэта палягчае распрацоўнікам, якія хочуць больш кантраляваць паводзіны сваёй праграмы або маюць патрэбу ў пэўных функцыях, недаступных у папярэдне вызначаных бібліятэках.

Падводзячы вынік, калі вы шукаеце магутны, але бясплатны інструмент, які дазваляе лёгка ствараць складаныя праграмы, строга адпавядаючы галіновым стандартам, тады не шукайце далей, чым пралог GNU!