GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) е мощен и безплатен компилатор на Prolog, който предлага решаване на ограничения върху крайни домейни. Този софтуер е предназначен за разработчици, които трябва да създават сложни програми с лекота. GNU Prolog приема Prolog с програми за ограничения и произвежда собствени двоични файлове, точно както gcc прави от C източник. След това полученият изпълним файл е самостоятелен, което означава, че може да работи на всеки компютър без нужда от допълнителен софтуер или библиотеки.

Едно от най-значимите предимства на GNU Prolog е неговият малък размер. Тъй като този софтуер може да избегне свързването на кода на повечето неизползвани вградени предикати, размерът на изпълнимия файл може да бъде много малък. Това го прави идеален за разработчици, които искат да създават леки приложения, които не заемат твърде много място на компютрите на потребителите.

Изпълненията на GNU Prolog също са много обнадеждаващи и сравними с търговските системи. Това означава, че можете да разчитате на този софтуер да предоставя бързи и ефективни резултати всеки път, когато го използвате.

Освен компилацията на естествен код, GNU Prolog предлага класически интерпретатор (от най-високо ниво) с дебъгер. Интерпретаторът ви позволява да тествате кода си интерактивно и да отстранявате грешки, които възникват по време на разработката.

Частта на Prolog съответства на стандарта ISO за Prolog с много разширения, много полезни на практика (глобални променливи, OS интерфейс и сокети). Това означава, че можете да разчитате на този софтуер да предоставя надеждни резултати всеки път, когато го използвате.

GNU Prolog също включва ефективен инструмент за решаване на ограничения над крайни домейни (FD). Това отваря логическото програмиране на ограниченията за потребителя, комбинирайки силата на програмирането с ограничения с декларативността на логическото програмиране.

Характеристика:

- Съответства на стандарта ISO за пролог

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

- Двупосочен интерфейс между prologue и C

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

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

- Предварително дефинирани ограничения: аритметични ограничения, булеви ограничения, символни ограничения, реифицирани ограничения.

- Предварително дефинирана евристика за изброяване.

- Дефинирани от потребителя нови ограничения

В обобщение:

Ако търсите мощен, но безплатен компилатор на пролог с решаване на ограничения върху крайни домейни, тогава не търсете повече от 32-битовия пролог на GNU! Със своя малък размер, но впечатляващи възможности за производителност, съчетани с интуитивен потребителски интерфейс, правят тази програма перфектна не само за начинаещи, но и за опитни програмисти!