GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) is een krachtige en gratis Prolog-compiler die het oplossen van beperkingen biedt voor eindige domeinen. Deze software is ontworpen voor ontwikkelaars die met gemak complexe programma's moeten maken. GNU Prolog accepteert Prolog met constraint-programma's en produceert native binaries, net zoals gcc dat doet vanuit een C-bron. Het verkregen uitvoerbare bestand is dan stand-alone, wat betekent dat het op elke computer kan worden uitgevoerd zonder dat er extra software of bibliotheken nodig zijn.

Een van de belangrijkste voordelen van GNU Prolog is het kleine formaat. Aangezien deze software het koppelen van de code van de meeste ongebruikte ingebouwde predikaten kan vermijden, kan de grootte van het uitvoerbare bestand erg klein zijn. Dit maakt het ideaal voor ontwikkelaars die lichtgewicht applicaties willen maken die niet te veel ruimte innemen op de computers van gebruikers.

De prestaties van GNU Prolog zijn ook erg bemoedigend en vergelijkbaar met commerciële systemen. Dit betekent dat u erop kunt vertrouwen dat deze software elke keer dat u deze gebruikt snelle en efficiënte resultaten levert.

Naast de native-codecompilatie biedt GNU Prolog een klassieke interpreter (topniveau) met een debugger. Met de interpreter kunt u uw code interactief testen en problemen opsporen die zich tijdens de ontwikkeling voordoen.

Het Prolog-gedeelte voldoet aan de ISO-standaard voor Prolog met veel extensies die erg handig zijn in de praktijk (globale variabelen, OS-interface en sockets). Dit betekent dat u erop kunt vertrouwen dat deze software elke keer dat u deze gebruikt betrouwbare resultaten levert.

GNU Prolog bevat ook een efficiënte beperkingsoplosser voor Finite Domains (FD). Dit opent logische programmering met beperkingen voor de gebruiker die de kracht van programmering met beperkingen combineert met de declarativiteit van logische programmering.

Functies:

- Voldoet aan de ISO-norm voor proloog

- Lijnbewerkingsfaciliteit onder interactieve tolk met voltooiing op atomen

- Bidirectionele interface tussen proloog en C

- Native-code compiler die stand-alone uitvoerbare bestanden produceert

- Eenvoudige opdrachtregelcompiler die verschillende bestanden accepteert

- Voorgedefinieerde beperkingen: rekenkundige beperkingen, Booleaanse beperkingen, symbolische beperkingen, gereïficeerde beperkingen.

- Voorgedefinieerde opsommingsheuristieken.

- Door de gebruiker gedefinieerde nieuwe beperkingen

Samengevat:

Als je op zoek bent naar een krachtige en toch gratis prologue-compiler met het oplossen van beperkingen voor eindige domeinen, zoek dan niet verder dan GNU prologue 32-bit! Met zijn kleine formaat maar toch indrukwekkende prestatiemogelijkheden gekoppeld aan een intuïtieve gebruikersinterface, is dit programma niet alleen perfect voor beginners maar ook voor ervaren programmeurs!