GNU Prolog is een gratis Prolog compiler met beperking bij het oplossen van eindige domeinen ontwikkeld door Daniel Diaz. GNU Prolog accepteert Prolog beperking programma ' s en produceert native binaire bestanden (zoals gcc is van een C-bron). De verkregen uitvoerbaar is dan stand-alone.
De grootte van dit programma kan heel klein zijn, omdat GNU Prolog kan voorkomen dat de link naar de code van de meeste ongebruikte ingebouwde predicaten. De optredens van GNU Prolog zijn zeer bemoedigend (vergelijkbaar met commerciële systemen). Naast de native code van de compilatie van GNU Prolog biedt een klassieke interactieve interpreter (top-level) met een debugger.
De Proloog deel voldoet aan de ISO-standaard voor Prolog met vele uitbreidingen heel handig in de praktijk (globale variabelen, OS interface, contactdozen).GNU Prolog bevat ook een efficiënte constraint solver over Eindige Domeinen (FD). Dit opent contraint logic programming naar de gebruiker het combineren van de kracht van constraint programming naar de declarativity van de logica van programmeren.
Belangrijkste kenmerken:
- Prolog-systeem:
- voldoet aan de ISO-standaard voor Prolog (floating point getallen, beken, dynamische code).
- veel van de extensies: globale variabelen, definite clause grammars (DCG), sockets-interface, operating system interface
- meer dan 300 Prolog ingebouwde predicaten.
- Prolog debugger en een laag niveau WAM debugger.
- regel bewerken faciliteit onder de interactieve interpreter met afronding op atomen.
- krachtige bidirectionele interface tussen Proloog en C.
- Compiler:
- eigen-code compiler produceert staan alleen uitvoerbare bestanden.
- eenvoudige command-line compiler het aanvaarden van een breed scala van bestanden: Prolog-bestanden, C-bestanden, WAM bestanden,...
- direct generatie van de assembly code 15 keer sneller dan wamcc gcc.
- de meeste van ongebruikte ingebouwde predicaten zijn niet gekoppeld (verminderen van de grootte van het uitvoerbare bestanden).
samengestelde predikaten (moedertaal-code) zo snel als wamcc op het gemiddelde.
- geraadpleegd predikaten (byte-code) 5 keer sneller dan wamcc.
- Constraint solver:
- FD variabelen goed geïntegreerd in de Proloog omgeving (volledige compatibiliteit met Prolog variabelen en getallen). Geen behoefte aan expliciete FD verklaringen.
- zeer efficiënt FD oplosser (vergelijkbaar met commerciële solvers).
- hoge-niveau van de beperkingen kan worden beschreven in termen van eenvoudige primitieven.
- veel van de vooraf gedefinieerde beperkingen: rekenkundige beperkingen, boolean beperkingen, symbolische beperkingen, reified beperkingen,...
- diverse vooraf gedefinieerde opsomming heuristiek.
- de gebruiker kan definiëren van zijn eigen beperkingen.
- meer dan 50 FD ingebouwde beperkingen/predikaten.
Reacties