GNU Prolog (32-bit) 1.4.3

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

Однією з найважливіших переваг GNU Prolog є його малий розмір. Оскільки це програмне забезпечення може уникнути зв’язування коду більшості невикористаних вбудованих предикатів, розмір виконуваного файлу може бути дуже малим. Це робить його ідеальним для розробників, які хочуть створювати легкі програми, які не займають надто багато місця на комп’ютерах користувачів.

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

Крім компіляції рідного коду, GNU Prolog пропонує класичний інтерпретатор (верхнього рівня) з налагоджувачем. Інтерпретатор дозволяє тестувати ваш код в інтерактивному режимі та виправляти будь-які проблеми, які виникають під час розробки.

Частина Prolog відповідає стандарту ISO для Prolog з багатьма розширеннями, дуже корисними на практиці (глобальні змінні, інтерфейс ОС і сокети). Це означає, що ви можете покластися на це програмне забезпечення для отримання надійних результатів кожного разу, коли ви його використовуєте.

GNU Prolog також містить ефективний засіб вирішення обмежень над кінцевими доменами (FD). Це відкриває можливість програмування логічного обмеження для користувача, поєднуючи силу програмування обмежень із декларативністю логічного програмування.

особливості:

- Відповідає стандарту ISO для прологу

— Можливість редагування рядків в інтерактивному інтерпретаторі з доповненням до атомів

— Двонаправлений інтерфейс між прологом і C

— Компілятор власного коду, що створює автономні виконувані файли

— Простий компілятор командного рядка, який приймає різні файли

- Попередньо визначені обмеження: арифметичні обмеження, булеві обмеження, символічні обмеження, рефіковані обмеження.

- Попередньо визначена евристика перерахування.

— Визначені користувачем нові обмеження

Підсумовуючи:

Якщо ви шукаєте потужний, але безкоштовний компілятор прологу з розв’язуванням обмежень у скінченних областях, тоді шукайте не далі, ніж 32-розрядний пролог GNU! Завдяки невеликому розміру, але вражаючі можливості продуктивності в поєднанні з інтуїтивно зрозумілим інтерфейсом користувача роблять цю програму ідеальною не тільки для початківців, але й для досвідчених програмістів!