| Версія | 1.4.3 |
|---|---|
| Выдавец | Daniel Diaz |
| Дата выпуску | 8 кра 2013 г. |
| Дата дададзена | 8 кра 2013 г. |
| Патрабаванні да ОС | Windows, Windows 7 |
| Патрабаванні | None |
| Усяго загрузак | 1 943 |
| Кошт | Free |
Апісанне
GNU Prolog - гэта бясплатны кампілятар Prolog з рашэннем абмежаванняў у канечных абласцях. GNU Prolog прымае Prolog з праграмамі абмежаванняў і стварае ўласныя двайковыя файлы (як gcc робіць з крыніцы C). Затым атрыманы выканальны файл з'яўляецца аўтаномным. Памер гэтага выканальнага файла можа быць невялікім, паколькі GNU Prolog можа пазбегнуць звязвання кода большасці нявыкарыстаных убудаваных прэдыкатаў. Прадукцыйнасць GNU Prolog вельмі абнадзейлівая (параўнальная з камерцыйнымі сістэмамі). Акрамя кампіляцыі ўласнага кода, GNU Prolog прапануе класічны інтэрпрэтатар (верхняга ўзроўню) з адладчыкам.
Частка Prolog адпавядае стандарту ISO для Prolog са шматлікімі пашырэннямі, вельмі карыснымі на практыцы (глабальныя зменныя, інтэрфейс АС і сокеты). GNU Prolog таксама ўключае эфектыўны сродак вырашэння абмежаванняў канчатковых даменаў (FD). Гэта адкрывае карыстальніку лагічнае праграмаванне з абмежаваннямі, спалучаючы магчымасці праграмавання з абмежаваннямі і дэкларатыўнасць лагічнага праграмавання. Асаблівасці ўключаюць у сябе адпаведнасць стандарту ISO для Prolog, сродак рэдагавання радкоў у інтэрактыўным інтэрпрэтатары з завяршэннем на атамах, двухнакіраваны інтэрфейс паміж Prolog і C, кампілятар уласнага кода, які стварае асобныя выкананыя файлы, просты кампілятар каманднага радка, які прымае мноства файлаў, прадвызначаны абмежаванні: арыфметычныя абмежаванні, лагічныя абмежаванні, сімвалічныя абмежаванні і матэрыялізаваныя абмежаванні, прадвызначаная эўрыстыка пералічэння, і карыстальнік можа вызначыць свае ўласныя новыя абмежаванні.
