GNU Prolog

Da Wikipedia, l'enciclopedia libera.
GNU Prolog
Sviluppatore Daniel Diaz
Ultima versione 1.3.1 (10 febbraio 2009)
Sistema operativo Unix-like
Microsoft Windows
Linguaggio
Genere Compilatore
Licenza GPL
(Licenza libera)
Sito web http://www.gprolog.org

GNU Prolog (chiamato anche gprolog) è un compilatore sviluppato dal progetto GNU con un ambiente interattivo di debugging per il Prolog, disponibile per Unix e Windows. Supporta anche diverse estensioni al Prolog, includendo la programmazione a vincoli su un insieme finito, parsing usando la grammatica a clausole definite, ed altre features.

Il compilatore converte il codice sorgente in bytecode che sarà poi interpretato da una Warren abstract machine (WAM), e sarà infine convertito in un eseguibile stand-alone.

Voci correlate[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]

Informatica Portale Informatica: accedi alle voci di Wikipedia che trattano di Informatica