GNU Prolog je zdarma Prolog kompilátor s omezením řešením nad konečnými domén. GNU Prolog přijímá Prolog s vazeb programy a vytváří přirozené binárky (jako gcc dělá ze zdroje C). Trval spustitelný je pak samostatný. Velikost spustitelného souboru může být malý, protože GNU Prolog může vyhýbat se spojit kód 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ě nativního kódu kompilace, GNU Prolog nabízí klasickou tlumočníka (na nejvyšší úrovni) s ladicí program.
Prolog část odpovídá normě ISO pro Prolog s mnoha rozšířeními velmi užitečné v praxi (globální proměnné, OS interface, a zásuvky). GNU Prolog také účinné omezení řešitel nad konečnými Domains (FD). Tím se otevře Logické programování pro uživatele kombinující sílu programování s omezujícími podmínkami na declarativity logického programování. Funkce zahrnují odpovídá normě ISO pro Prolog, editační řádek zařízení v rámci interaktivní interpret s dokončením na atomy, obousměrné rozhraní mezi Prolog a C, nativní kód kompilátor produkující samostatných spustitelné soubory, jednoduché příkazové řádky kompilátor přijímá celou řadu souborů, předem definované omezení:. aritmetické omezení, logické omezení, symbolické omezení, a reified omezení, předdefinované výčtu heuristické a uživatel si může definovat vlastní nová omezení
Komentáře nebyl nalezen