GNU Prolog (32-bit) 1.4.3

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

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

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

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

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

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

Асаблівасці:

- Адпавядае стандарту ISO для пралогу

- Сродак рэдагавання радкоў у інтэрактыўным інтэрпрэтатары з дапрацоўкай па атамах

- Двунакіраваны інтэрфейс паміж пралогам і C

- Кампілятар уласнага кода, які стварае аўтаномныя выкананыя файлы

- Просты кампілятар каманднага радка, які прымае розныя файлы

- Зададзеныя абмежаванні: арыфметычныя абмежаванні, лагічныя абмежаванні, сімвалічныя абмежаванні, матэрыялізаваныя абмежаванні.

- Зададзеная эўрыстыка пераліку.

- Вызначаныя карыстальнікам новыя абмежаванні

Падводзячы вынік:

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