LOGI : DOWNLOAD E INSTALLAZIONE
Corso di Logica Matematica
Download
Scaricare logi.zip. Potete scaricare anche doc.zip,
che contiene l'introduzione all'uso consultabile anche da qui.
L'applicazione è sviluppata in SWI Prolog e per la parte di interfaccia è basata su xpce
utilizzabile in ambito SWI Prolog. Per prima cosa bisogna scaricare SWI Prolog dal
sito di SWI e assicurarsi che prolog sia funzionante.
Poi si procede come segue.
-
Scaricato dal sito logi.zip,
scompattare. La directory logiBasic contiene le sottodirectory lib e logi_implm, che implementano l'applicazione,
e il file fol.pl, che lancia l'applicazione.
-
Dalla directory logiBasic lanciate fol.pl con doppio click sul file (Windows) o con
il comando ./swipl fol.pl. Se l'applicazione
è installata correttamente si apre la finestra di lavoro FOL: esercizio "senza nome".
Per maggiori dettagli si veda l'introduzione all'uso