GNU Prolog (32-bit)

Popis

GNU Prolog je bezplatný kompilátor Prologu s riešením obmedzení v konečných doménach. GNU Prolog akceptuje Prolog s obmedzovacími programami a vytvára natívne binárne súbory (ako gcc zo zdroja C). Získaný spustiteľný súbor je potom samostatný. Veľkosť tohto spustiteľného súboru môže byť malá, pretože GNU Prolog sa môže vyhnúť prepojeniu kódu väčšiny nepoužívaných vstavaných predikátov. Výkony GNU Prolog sú veľmi povzbudivé (porovnateľné s komerčnými systémami). Okrem kompilácie natívneho kódu ponúka GNU Prolog klasický interpret (najvyššia úroveň) s debuggerom.

Časť Prolog je v súlade s normou ISO pre Prolog s mnohými v praxi veľmi užitočnými rozšíreniami (globálne premenné, rozhranie OS a zásuvky). GNU Prolog tiež obsahuje efektívny riešič obmedzení cez konečné domény (FD). Používateľovi sa tak otvára programovanie logiky s obmedzeniami, ktoré kombinuje silu programovania s obmedzeniami s deklaratívnosťou logického programovania. Funkcie zahŕňajú v súlade s normou ISO pre Prolog, možnosť úpravy riadkov pod interaktívnym tlmočníkom s dokončovaním na atómoch, obojsmerné rozhranie medzi Prologom a C, kompilátor natívneho kódu produkujúci samostatné spustiteľné súbory, jednoduchý kompilátor príkazového riadka akceptujúci rôzne preddefinované súbory obmedzenia: aritmetické obmedzenia, booleovské obmedzenia, symbolické obmedzenia a reifikované obmedzenia, preddefinovaná heuristika enumerácie a používateľ môže definovať svoje vlastné nové obmedzenia.