GNU Prolog (32-bits) accepteer Prolog met beperkingen en compileer over eindige domeinen.
Download nu

GNU Prolog (32-bits) Rangschikking & Samenvatting

GNU Prolog (32-bits) Tags

GNU Prolog (32-bits) Beschrijving

GNU PROLOG is een gratis prolog-compiler met beperking op het oplossen van de eindige domeinen. GNU PROLOG Accepteert PROLGE met beperkingsprogramma's en produceert inheemse binaries (zoals GCC doet vanaf een C-bron). Het verkregen uitvoerbare bestand is dan op stand-alone. De grootte van dit uitvoerbare bestand kan klein zijn, aangezien GNU PROGOLD kan voorkomen dat u de code van de meest ongebruikte ingebouwde voorspellingen koppelt. De uitvoeringen van GNU Prolog zijn zeer bemoedigend (vergelijkbaar met commerciële systemen). Naast de inheemse compilatie, biedt GNU Prolog een klassieke tolk (hoogste niveau) met een debugger. Het prolog deel voldoet aan de ISO-standaard voor PROLOG met veel extensies zeer nuttig in de praktijk (globale variabelen, OS-interface en sockets). GNU Prolog bevat ook een efficiënte constraint-oplosser over eindige domeinen (FD). Dit opent Constraint Logic-programmering aan de gebruiker die de kracht van beperkingsprogramma's combineert met de verklaring van de logica-programmering. Functies omvatten voldoet aan de ISO-standaard voor prolog, lijnbewerkingsfaciliteit onder de interactieve tolk met voltooiing op atomen, bidirectionele interface tussen PROLOGE en C, inheemse compiler die stand-alone executables produceert, eenvoudige opdrachtregelcompiler die een verscheidenheid aan bestanden accepteert, vooraf gedefinieerd Constraints: rekenkundige beperkingen, Booleaanse beperkingen, symbolische beperkingen en reified beperkingen, vooraf gedefinieerde suumeratieheuristieken en gebruiker kunnen zijn eigen nieuwe beperkingen definiëren.

GNU Prolog (32-bits) Gerelateerde software