Gnu prolog GRATIS PROLOG COMPILER met beperking via eindige domeinen
Download nu

Gnu prolog Rangschikking & Samenvatting

Gnu prolog Tags

Gnu prolog Beschrijving

GNU PROLOG is een gratis prolog-compiler met beperking op het oplossen van de eindige domeinen. GNU PROLOG Accepteert Prolog Constraint-programma's en produceert inheemse binaries (zoals GCC doet van een C-bron). Het verkregen uitvoerbare bestand is dan op stand-alone. De grootte van dit uitvoerbare bestand kan vrij klein zijn aangezien GNU PROGOLD kan voorkomen om de code van de meeste ongebruikte ingebouwde voorspellingen te koppelen. De uitvoeringen van GNU Prolog zijn zeer bemoedigend. Naast de inheemse CODE-compilatie biedt GNU Prolog een klassieke interactieve tolk (top-niveau) met een debugger. Het prolog-onderdeel voldoet aan de ISO-standaard voor PROLOG met veel extensies zeer nuttig in de praktijk. GNU Prolog bevat ook een efficiënte constraint-oplosser over eindige domeinen (FD). Dit opent Contrain Logic-programmering aan de gebruiker die de kracht van beperkingsprogramma's combineert met de verklaring van de logica-programmering .

Gnu prolog Gerelateerde software