GNU Prolog (64-bit)

Software screenshot:
GNU Prolog (64-bit)
Software informatie:
Versie: 1.4.3
Upload datum: 23 Jan 15
Ontwikkelaar: Daniel Diaz
Licentie: Gratis
Populariteit: 731
Maat: 4677 Kb

Rating: 4.0/5 (Total Votes: 1)

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

Ondersteunde besturingssystemen

Vergelijkbare software

Andere software van ontwikkelaar Daniel Diaz

Reacties op GNU Prolog (64-bit)

Reacties niet gevonden
Commentaar toe te voegen
Zet op de beelden!