GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) er en kraftig og gratis Prolog-kompilator som tilbyr begrensningsløsning over endelige domener. Denne programvaren er designet for utviklere som trenger å lage komplekse programmer med letthet. GNU Prolog aksepterer Prolog med begrensningsprogrammer og produserer native binærfiler, akkurat som gcc gjør fra en C-kilde. Den oppnådde kjørbare filen er da frittstående, noe som betyr at den kan kjøres på hvilken som helst datamaskin uten behov for ekstra programvare eller biblioteker.

En av de viktigste fordelene med GNU Prolog er dens lille størrelse. Siden denne programvaren kan unngå å koble koden til de fleste ubrukte innebygde predikater, kan størrelsen på den kjørbare filen være svært liten. Dette gjør den ideell for utviklere som ønsker å lage lette applikasjoner som ikke tar for mye plass på brukernes datamaskiner.

Ytelsene til GNU Prolog er også veldig oppmuntrende og kan sammenlignes med kommersielle systemer. Dette betyr at du kan stole på at denne programvaren leverer raske og effektive resultater hver gang du bruker den.

Ved siden av kompileringen av native-kode tilbyr GNU Prolog en klassisk tolk (toppnivå) med en debugger. Tolken lar deg teste koden din interaktivt og feilsøke eventuelle problemer som oppstår under utvikling.

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). Dette betyr at du kan stole på at denne programvaren leverer pålitelige resultater hver gang du bruker den.

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.

Egenskaper:

- Samsvarer med ISO-standard for prolog

- Linjeredigeringsanlegg under interaktiv tolk med komplettering på atomer

- Toveis grensesnitt mellom prolog og C

- Native-kode kompilator som produserer frittstående kjørbare filer

- Enkel kommandolinjekompilator som godtar ulike filer

- Forhåndsdefinerte begrensninger: aritmetiske begrensninger, boolske begrensninger, symbolske begrensninger, reifiserte begrensninger.

- Forhåndsdefinert oppregningsheuristikk.

- Brukerdefinerte nye begrensninger

Oppsummert:

Hvis du leter etter en kraftig, men gratis prolog-kompilator med begrensningsløsning over endelige domener, så se ikke lenger enn GNU prolog 32-bit! Med sin lille størrelse, men likevel imponerende ytelsesevner kombinert med et intuitivt brukergrensesnitt gjør dette programmet perfekt, ikke bare nybegynnere, men også erfarne programmerere!