GNU Prolog is een gratis Prolog compiler met dwang oplossen over eindige domeinen. GNU Prolog accepteert Prolog met dwang programma's en produceert inheemse binaries (zoals gcc doet vanuit een C-bron). De verkregen uitvoerbare wordt dan stand-alone. De grootte van deze executable kan klein zijn, omdat GNU Prolog kunnen voorkomen die de code van de meeste ongebruikte ingebouwde predikaten. De prestaties van de GNU Prolog zijn zeer bemoedigend (vergelijkbaar met commerciële systemen). Naast de native-code compilatie, GNU Prolog biedt een klassiek tolk (hoogste niveau) met een debugger.
De Proloog deel voldoet aan de ISO-standaard voor Prolog met vele uitbreidingen zeer nuttig in de praktijk (globale variabelen, OS-interface, en stopcontacten). GNU Prolog bevat ook een efficiënte constraint solver over eindige Domeinen (FD). Dit opent constraint logisch programmeren om de gebruiker het combineren van de kracht van constraint programming aan de declarativity van logisch programmeren. Functies zijn onder meer voldoet aan de ISO-standaard voor Prolog, line bewerken faciliteit onder de interactieve tolk bij voltooiing op atomen, bidirectionele interface tussen Prolog en C, native-code compiler produceren stand-alone executables, eenvoudige command-line compiler het aanvaarden van een verscheidenheid aan bestanden, vooraf gedefinieerde beperkingen:. rekenkundige beperkingen, Booleaanse beperkingen, symbolische beperkingen en verdinglijkt beperkingen, voorgedefinieerde opsomming heuristiek, en de gebruiker kan zijn eigen nieuwe beperkingen te definiëren
Reacties niet gevonden