GNU Prolog е безплатна Пролог компилатор с ограничение решаване над крайни домейни. GNU Prolog приема Prolog с ограничаващите програми и произвежда родния изпълними файлове (като GCC прави от източник на C). След това полученият изпълнимия файл е самостоятелен. Размерът на този изпълнител може да бъде малка, тъй като GNU Prolog може да се избегне свързването на кода на най-неизползваните вградени предикати. Изпълненията на GNU Prolog са много обнадеждаващи (сравними с търговски системи). Освен родния код съставянето на, GNU Prolog предлага класическа интерпретатор (първо ниво) с дебъгер.
Prolog част съответства на стандарта ISO за Prolog с много разширения много полезни в практиката (глобални променливи, OS интерфейс, както и контакти). GNU Prolog включва и ефективен натиск решаване над Краен Domains (FD). Това отваря ограничение логика програмиране на потребителя комбиниране на силата на натиск програмиране на declarativity на логика програмиране. Характеристиките включват съответства на стандарта ISO за Prolog, редактиране на линия улеснение по интерактивната преводача с приключване на атома, двупосочен интерфейс между Prolog и C, роден-код компилатор производство самостоятелни изпълними файлове, просто командния ред компилатор приемане на различни файлове, предварително зададен ограничения:. аритметични ограниченията, булеви ограниченията, символични ограничения и реифицира ограниченията, предварително определени изброяване евристика и Потребителят може да зададе своите собствени нови ограничения
Коментари не е намерена