GNU Prolog (64-bit)

Omschrijving

GNU Prolog is een gratis Prolog-compiler met het oplossen van beperkingen over eindige domeinen. GNU Prolog accepteert Prolog met beperkingsprogramma's en produceert native binaries (zoals gcc doet vanuit een C-bron). Het verkregen uitvoerbare bestand is dan stand-alone. De grootte van dit uitvoerbare bestand kan klein zijn omdat GNU Prolog kan voorkomen dat de code van de meeste ongebruikte ingebouwde predikaten wordt gekoppeld. De prestaties van GNU Prolog zijn zeer bemoedigend (vergelijkbaar met commerciële systemen). Naast de native code-compilatie biedt GNU Prolog een klassieke interpreter (top-level) met een debugger.

Het Prolog-gedeelte voldoet aan de ISO-standaard voor Prolog met veel extensies die in de praktijk erg handig zijn (algemene variabelen, OS-interface en sockets). GNU Prolog bevat ook een efficiënte beperkingsoplosser over Finite Domains (FD). Dit opent logisch programmeren met beperkingen voor de gebruiker en combineert de kracht van programmeren met beperkingen met de declarativiteit van logisch programmeren. Functies omvatten conform aan de ISO-standaard voor Prolog, regelbewerkingsfaciliteit onder de interactieve interpreter met aanvulling op atomen, bidirectionele interface tussen Prolog en C, native-code compiler die stand-alone uitvoerbare bestanden produceert, eenvoudige command-line compiler die een verscheidenheid aan bestanden accepteert, vooraf gedefinieerd beperkingen: rekenkundige beperkingen, Booleaanse beperkingen, symbolische beperkingen en gereïficeerde beperkingen, vooraf gedefinieerde opsommingsheuristieken, en de gebruiker kan zijn eigen nieuwe beperkingen definiëren.