GNU Prolog (64-bit)

Beskrivelse

GNU Prolog er en gratis Prolog-kompilator med begrensningsløsning over endelige domener. GNU Prolog aksepterer Prolog med begrensningsprogrammer og produserer native binærfiler (som gcc gjør fra en C-kilde). Den oppnådde kjørbare filen er da frittstående. Størrelsen på denne kjørbare filen kan være liten siden GNU Prolog kan unngå å koble koden til de fleste ubrukte innebygde predikatene. Ytelsene til GNU Prolog er veldig oppmuntrende (sammenlignbare med kommersielle systemer). Ved siden av kompileringen av native-kode tilbyr GNU Prolog en klassisk tolk (toppnivå) med en debugger.

Prolog-delen er i samsvar med ISO-standarden for Prolog med mange utvidelser som er svært nyttige i praksis (globale variabler, OS-grensesnitt og sockets). GNU Prolog inkluderer også en effektiv begrensningsløser over Finite Domains (FD). Dette åpner begrensningslogikkprogrammering for brukeren ved å kombinere kraften til begrensningsprogrammering med deklarativiteten til logisk programmering. Funksjonene inkluderer samsvarer med ISO-standarden for Prolog, linjeredigeringsfunksjon under den interaktive tolken med komplettering på atomer, toveis grensesnitt mellom Prolog og C, kompilator med innfødt kode som produserer frittstående kjørbare filer, enkel kommandolinjekompilator som godtar en rekke filer, forhåndsdefinert begrensninger: aritmetiske begrensninger, boolske begrensninger, symbolske begrensninger og reifiserte begrensninger, forhåndsdefinerte oppregningsheuristikk, og brukeren kan definere sine egne nye begrensninger.