| Версия | 1.4.3 |
|---|---|
| Издатель | Daniel Diaz |
| Дата выпуска | 8 апр. 2013 г. |
| Дата добавления | 8 апр. 2013 г. |
| Требования ОС | Windows, Windows 7 |
| Требования | None |
| Всего скачиваний | 1 943 |
| Цена | Free |
Описание
GNU Prolog — это бесплатный компилятор Prolog с решением ограничений в конечных областях. GNU Prolog принимает Prolog с программами ограничений и создает собственные двоичные файлы (как это делает gcc из исходного кода C). Затем полученный исполняемый файл является автономным. Размер этого исполняемого файла может быть небольшим, поскольку GNU Prolog позволяет избежать компоновки кода большинства неиспользуемых встроенных предикатов. Производительность GNU Prolog очень обнадеживает (сопоставима с коммерческими системами). Помимо компиляции собственного кода, GNU Prolog предлагает классический интерпретатор (верхнего уровня) с отладчиком.
Часть Prolog соответствует стандарту ISO для Prolog со многими расширениями, очень полезными на практике (глобальные переменные, интерфейс ОС и сокеты). GNU Prolog также включает эффективный решатель ограничений для конечных доменов (FD). Это открывает пользователю возможности программирования в ограничениях, сочетая мощь программирования в ограничениях с декларативностью логического программирования. Особенности включают в себя соответствие стандарту ISO для Пролога, возможность редактирования строки в интерактивном интерпретаторе с завершением на атомах, двунаправленный интерфейс между Прологом и C, компилятор собственного кода, создающий автономные исполняемые файлы, простой компилятор командной строки, принимающий различные файлы, предопределенные ограничения: арифметические ограничения, логические ограничения, символические ограничения и материализованные ограничения, предопределенные эвристики перечисления, и пользователь может определить свои собственные новые ограничения.
