GNU Prolog er et gratis Prolog kompilator med begrensningen løse over endelige domener. GNU Prolog aksepterer Prolog med begrensningsprogrammer og produserer innfødte binærfiler (som gcc gjør fra en C kilde). Den oppnådde kjørbar deretter frittstående. Størrelsen på denne kjørbar kan være små, siden GNU Prolog kan unngå å koble inn koden for de ubrukte innebygde predikater. Forestillinger av GNU Prolog er svært oppmuntrende (kan sammenlignes med kommersielle systemer). GNU Prolog ved siden av mors-kode kompilering, og tilbyr en klassisk tolk (øverste nivå) med en debugger.
Den Prolog del i samsvar med ISO-standard for Prolog med mange utvidelser svært nyttige i praksis (globale variabler, OS-grensesnittet, og stikkontakter). GNU Prolog inkluderer også en effektiv begrensning løser over endelige domener (FD). Dette åpner begrensning logikk programmering for brukeren å kombinere kraften av begrensningen programmering til declarativity av logikk programmering. Funksjoner inkluderer Oppfyller ISO-standard for Prolog, linje redigering anlegget under interaktiv tolk med ferdigstillelse på atomer, toveis grensesnitt mellom Prolog og C, native-kode kompilatoren produserer frittstående kjørbare, enkel kommandolinje-kompilator akseptere en rekke filer, forhåndsdefinert begrensninger:. aritmetiske begrensninger, boolske begrensninger, symbolske begrensninger, og levendegjort begrensninger, forhåndsdefinerte oppregning heuristikker og bruker kan definere sine egne nye begrensninger
Kommentarer ikke funnet