GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) je výkonný a bezplatný kompilátor Prolog, který nabízí řešení omezení v konečných doménách. Tento software je určen pro vývojáře, kteří potřebují snadno vytvářet složité programy. GNU Prolog přijímá Prolog s omezujícími programy a vytváří nativní binární soubory, stejně jako gcc ze zdroje C. Získaný spustitelný soubor je pak samostatný, což znamená, že může běžet na jakémkoli počítači bez potřeby dalšího softwaru nebo knihoven.

Jednou z nejvýznamnějších výhod GNU Prolog je jeho malá velikost. Protože se tento software dokáže vyhnout propojování kódu většiny nepoužívaných vestavěných predikátů, může být velikost spustitelného souboru velmi malá. Díky tomu je ideální pro vývojáře, kteří chtějí vytvářet lehké aplikace, které nezabírají příliš mnoho místa na počítačích uživatelů.

Výkony GNU Prolog jsou také velmi povzbudivé a srovnatelné s komerčními systémy. To znamená, že se můžete spolehnout, že tento software poskytne rychlé a efektivní výsledky pokaždé, když jej použijete.

Kromě kompilace nativního kódu nabízí GNU Prolog klasický interpret (nejvyšší úroveň) s debuggerem. Interpret vám umožňuje interaktivně testovat váš kód a ladit jakékoli problémy, které se vyskytnou během vývoje.

Část Prolog odpovídá ISO standardu pro Prolog s mnoha v praxi velmi užitečnými rozšířeními (globální proměnné, OS rozhraní a sockety). To znamená, že se můžete spolehnout, že tento software poskytne spolehlivé výsledky pokaždé, když jej použijete.

GNU Prolog také obsahuje účinný řešič omezení přes Finite Domains (FD). To uživateli otevírá logické programování s omezeními, které kombinuje sílu programování s omezeními s deklarativitou logického programování.

Funkce:

- Odpovídá normě ISO pro prolog

- Možnost úpravy řádků pod interaktivním tlumočníkem s dokončením na atomech

- Obousměrné rozhraní mezi prologem a C

- Kompilátor nativního kódu produkující samostatné spustitelné soubory

- Jednoduchý kompilátor příkazového řádku přijímající různé soubory

- Předdefinovaná omezení: aritmetické omezení, booleovské omezení, symbolické omezení, reifikované omezení.

- Předdefinovaná heuristika výčtu.

- Uživatelem definovaná nová omezení

Celkem:

Pokud hledáte výkonný, ale bezplatný kompilátor prologu s řešením omezení v konečných doménách, pak nehledejte nic jiného než GNU prolog 32-bit! Díky své malé velikosti, ale působivým výkonnostním schopnostem spojeným s intuitivním uživatelským rozhraním, je tento program dokonalý nejen pro začátečníky, ale i pro zkušené programátory!