GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-разрядная версия) — это мощный и бесплатный компилятор Prolog, который предлагает решение ограничений в конечных областях. Это программное обеспечение предназначено для разработчиков, которым необходимо с легкостью создавать сложные программы. GNU Prolog принимает Prolog с программами ограничений и создает собственные двоичные файлы, точно так же, как gcc делает из исходного кода C. Полученный исполняемый файл является автономным, что означает, что он может работать на любом компьютере без необходимости в дополнительном программном обеспечении или библиотеках.

Одним из наиболее значительных преимуществ GNU Prolog является его небольшой размер. Поскольку это программное обеспечение может избежать связывания кода большинства неиспользуемых встроенных предикатов, размер исполняемого файла может быть очень маленьким. Это делает его идеальным для разработчиков, которые хотят создавать легкие приложения, не занимающие слишком много места на компьютерах пользователей.

Производительность GNU Prolog также очень обнадеживает и сравнима с коммерческими системами. Это означает, что вы можете положиться на это программное обеспечение, чтобы получать быстрые и эффективные результаты каждый раз, когда вы его используете.

Помимо компиляции собственного кода, GNU Prolog предлагает классический интерпретатор (верхнего уровня) с отладчиком. Интерпретатор позволяет вам тестировать код в интерактивном режиме и отлаживать любые проблемы, возникающие во время разработки.

Часть Prolog соответствует стандарту ISO для Prolog со многими расширениями, очень полезными на практике (глобальные переменные, интерфейс ОС и сокеты). Это означает, что вы можете положиться на это программное обеспечение, чтобы получать надежные результаты каждый раз, когда вы его используете.

GNU Prolog также включает эффективный решатель ограничений для конечных доменов (FD). Это открывает пользователю возможности программирования в ограничениях, сочетая мощь программирования в ограничениях с декларативностью логического программирования.

Функции:

- Соответствует стандарту ISO для пролога

- Возможность редактирования строки в интерактивном интерпретаторе с завершением на атомах

- Двунаправленный интерфейс между прологом и C

- Компилятор собственного кода, создающий автономные исполняемые файлы

- Простой компилятор командной строки, принимающий различные файлы

- Предопределенные ограничения: арифметические ограничения, логические ограничения, символические ограничения, материализованные ограничения.

- Предопределенная эвристика перечисления.

- Пользовательские новые ограничения

В итоге:

Если вы ищете мощный, но бесплатный компилятор пролога с решением ограничений в конечных доменах, тогда не ищите ничего, кроме 32-битного пролога GNU! Небольшой размер, но впечатляющие возможности производительности в сочетании с интуитивно понятным пользовательским интерфейсом делают эту программу идеальной не только для начинающих, но и для опытных программистов!