GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-битен) е моќен и бесплатен компајлер на Prolog кој нуди решавање на ограничувања преку конечни домени. Овој софтвер е дизајниран за програмери кои треба лесно да креираат сложени програми. GNU Prolog го прифаќа Prolog со програми за ограничување и произведува природни бинарни датотеки, исто како што прави gcc од извор C. Добиената извршна датотека потоа е самостојна, што значи дека може да работи на кој било компјутер без потреба од дополнителен софтвер или библиотеки.

Една од најзначајните предности на GNU Prolog е неговата мала големина. Бидејќи овој софтвер може да избегне поврзување на кодот на повеќето неискористени вградени предикати, големината на извршната датотека може да биде многу мала. Ова го прави идеален за програмери кои сакаат да создаваат лесни апликации кои не заземаат премногу простор на компјутерите на корисниците.

Изведбите на GNU Prolog се исто така многу охрабрувачки и споредливи со комерцијалните системи. Ова значи дека можете да се потпрете на овој софтвер за да испорачате брзи и ефикасни резултати секогаш кога ќе го користите.

Покрај компилацијата со мајчин код, GNU Prolog нуди класичен толкувач (на највисоко ниво) со дебагер. Преведувачот ви овозможува интерактивно да го тестирате вашиот код и да ги дебагирате сите проблеми што се појавуваат при развојот.

Делот Prolog е во согласност со ISO стандардот за Prolog со многу екстензии кои се многу корисни во пракса (глобални променливи, интерфејс на ОС и приклучоци). Ова значи дека можете да се потпрете на овој софтвер за да испорачате сигурни резултати секогаш кога ќе го користите.

GNU Prolog вклучува и ефикасен решавач на ограничувања преку конечни домени (FD). Ова го отвора логичкото програмирање со ограничувања за корисникот комбинирајќи ја моќта на програмирањето со ограничувања со декларативноста на логичкото програмирање.

Карактеристики:

- Во согласност со ISO стандардот за пролог

- Објект за уредување на линии под интерактивен преведувач со комплетирање на атомите

- Двонасочен интерфејс помеѓу прологот и C

- компајлер со мајчин код кој произведува самостојни извршни датотеки

- Едноставен компајлер на командната линија кој прифаќа различни датотеки

- Предефинирани ограничувања: аритметички ограничувања, Булови ограничувања, симболични ограничувања, реифицирани ограничувања.

- Предефинирана хеуристика за набројување.

- Нови ограничувања дефинирани од корисникот

Во краток преглед:

Ако барате моќен, но бесплатен компајлер за пролог со решавање на ограничувања преку конечни домени, тогаш не гледајте подалеку од 32-битен пролог на GNU! Со својата мала големина, но импресивните способности за изведба, заедно со интуитивен кориснички интерфејс, ја прават оваа програма совршена не само за почетници, туку и за искусни програмери!