Prolog: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Diablo (discussione | contributi)
m ops
Diablo (discussione | contributi)
Riga 25:
Le seguenti implementazioni di prolog sono libere (al limite per uso personale o educativo, assicurati di leggere la documentazione legale). Semplicemente scaricane uno ed assicurati di installarlo seguendo le istruzioni del sito web:
 
*[http:UNa//www.swi-prolog.org/ SWI Prolog]: un'implementazione open source semplice e robusta conforme ad entrambi gli standards Prolog (ISO and Edinburgh) ed ha molte librerie extra e predicati built-in. Esiste addirittura un kit di strumenti separato per creare finestre e grafica chiamato XPCE. Supporta varie piattaforme.
:* SWI Prolog (raccomandato)
*[http://pauillac.inria.fr/~diaz/gnu-prolog/ GNU Prolog]: Una implementazione open source relativamente nuova. Ha un supporto per la programmazione in logica vincolata, una estensione di prolog.
:http://www.swi-prolog.org/
*[http://www.visual-prolog.com/ Visual Prolog]: Un ambiente di sviluppo completo per uno sviluppo in stile orientato agli oggetti di Prolog. Include compilatore, linker, editore, editori per il dialogo grafico, sistema di building, debugger, librerie e molto altro.
:UNa implementazione open source semplice e robusta conforme ad entrambi gli standards Prolog (ISO and Edinburgh) ed ha molte librerie extra e predicati built-in. Esiste addirittura un kit di strumenti separato per creare finestre e grafica chiamato XPCE. Supporta varie piattaforme.
:* GNU Prolog
:http://pauillac.inria.fr/~diaz/gnu-prolog/
:Una implementazione open source relativamente nuova. Ha un supporto per la programmazione in logica vincolata, una estensione di prolog.
:* Visual Prolog
:http://www.visual-prolog.com/
:Un ambiente di sviluppo completo per uno sviluppo in stile orientato agli oggetti di Prolog. Include compilatore, linker, editore, editori per il dialogo grafico, sistema di building, debugger, librerie e molto altro.
 
Le seguenti implementazioni di prolog sono proprietarie:
 
:* SICSTUS Prolog
*[http://www.sics.se/ SICSTUS Prolog]: Probabilmente la più nota e conosciuta implementazione professionale comprensiva di ambiente di sviluppo per prolog. ISO-conforme, tante librerie e supporto per la programmazione in logica vincolata. Libero solo per una valutazione.
:http://www.sics.se/
 
:Probabilmente la più nota e conosciuta implementazione professionale comprensiva di ambiente di sviluppo per prolog. ISO-conforme, tante librerie e supporto per la programmazione in logica vincolata. Libero solo per una valutazione.
*[http://www.sics.se/quintus/ Quintus Prolog]: commerciale sempre della SICSTUS. Valutazione gratuita.
:* Quintus Prolog
:http://www.sics.se/quintus/
:commerciale sempre della SICSTUS.Valutazione gratuita.
 
=== Text editor ===