GNU Prolog є вільним компілятор Пролог з обмеженням рішення по кінцеві області. GNU Prolog приймає Пролог з програмами обмежень і виробляє бінарних файлів (наприклад, GCC робить з джерела C). Отримано виконуваний потім автономно. Розмір виконуваного файлу може бути невеликою, так як GNU Prolog може не пов'язували код з найбільш невикористаних вбудованих предикатів. Виступи GNU Prolog є вельми обнадійливими (порівнянно з комерційними системами). Крім рідному компіляції коду, GNU Prolog має класичний інтерпретатор (верхнього рівня) за допомогою відладчика.
Пролог частина відповідає стандарту ISO для Прологу з багатьох розширень дуже корисних на практиці (глобальні змінні, Інтерфейс ОС, і розетки). GNU Prolog також включає в себе ефективне решатель над кінцевими областями (FD). Це відкриває обмеження логічне програмування для користувача поєднує в собі міць програмування в обмеженнях на declarativity логічного програмування. Особливості включають в себе відповідно до стандарту ISO для Прологу, редагування лінію відповідно до інтерактивний інтерпретатор із завершенням на атомах, двонаправлений інтерфейс між Пролог і C, компілятор рідної код виробляти автономні виконувані файли, просто компілятор командного рядка приймаючи різні файли, зумовленого Обмеження :. арифметичні обмеження, логічні обмеження, символічні обмеження, і реіфіціровать обмеження, зумовлені евристика перерахування, і користувач може визначити свої власні нові обмеження
Коментар не знайдено