GNU Prolog (64-bit)

Опис

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

Делот Prolog е во согласност со ISO стандардот за Prolog со многу екстензии кои се многу корисни во пракса (глобални променливи, интерфејс на ОС и приклучоци). GNU Prolog вклучува и ефикасен решавач на ограничувања преку конечни домени (FD). Ова го отвора логичкото програмирање со ограничувања за корисникот комбинирајќи ја моќта на програмирањето со ограничувања со декларативноста на логичкото програмирање. Карактеристиките вклучуваат усогласеност со ISO стандардот за Prolog, уред за уредување линии под интерактивниот преведувач со комплетирање на атомите, двонасочен интерфејс помеѓу Prolog и C, компајлер со мајчин код кој произведува самостојни извршни датотеки, едноставен компајлер од командната линија што прифаќа различни датотеки, предефинирани ограничувања: аритметички ограничувања, Булови ограничувања, симболични ограничувања и реифицирани ограничувања, предефинирани хеуристики за набројување и корисникот може да дефинира свои нови ограничувања.