| Verze | 1.4.3 |
|---|---|
| Vydavatel | Daniel Diaz |
| Datum vydání | 8. 4. 2013 |
| Datum přidáno | 8. 4. 2013 |
| Os požadavky | Windows, Windows 7 |
| Požadavky | None |
| Celkový počet stažení | 1 943 |
| Cena | Free |
Popis
GNU Prolog je bezplatný kompilátor Prologu s řešením omezení v konečných doménách. GNU Prolog přijímá Prolog s omezujícími programy a vytváří nativní binární soubory (jako gcc ze zdroje C). Získaný spustitelný soubor je pak samostatný. Velikost tohoto spustitelného souboru může být malá, protože GNU Prolog se může vyhnout propojování kódu většiny nepoužívaných vestavěných predikátů. Výkony GNU Prolog jsou velmi povzbudivé (srovnatelné s komerčními systémy). Kromě kompilace nativního kódu nabízí GNU Prolog klasický interpret (nejvyšší úroveň) s debuggerem.
Čá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). 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í. Mezi vlastnosti patří v souladu s normou ISO pro Prolog, možnost úpravy řádků pod interaktivním tlumočníkem s dokončováním atomů, obousměrné rozhraní mezi Prolog a C, kompilátor nativního kódu produkující samostatné spustitelné soubory, jednoduchý kompilátor příkazového řádku akceptující různé soubory, předdefinované omezení: aritmetická omezení, booleovská omezení, symbolická omezení a zpřesněná omezení, předdefinovaná heuristika výčtu a uživatel může definovat svá vlastní nová omezení.
