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