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