%======= INSTALLAZIONE:

Scaricare SWI-Prolog

Installando SWI-Prolog, scegliere l'estensione .pl per i file Prolog
(in alternativa, modificare l'estensione di VIA.pl---ad es. in VIA.swi)

I file .pro sono i programmi Prolog (.pl il master, quello che serve per l'avvio)

I file senza estensione sono file di dati Prolog

Ci sono poi file LaTeX (estensione .tex), tutti eliminabili e compilabili sotto macros.txt

Ci sono infine dei file .txt, che servono a documentare, salvo macros.txt che serve a LaTeX 

%======= ESECUZIONE:

Fare doppio click su VIA.pl (un file di consultazione di vari .pro)

Rispondere alle 5 domande di configurazione

A questo punto, e` disponibile un riconoscitore sintattico per il
linguaggio mappale:
	mapeq/1,2,3   -- riconoscitore di enunciati
	mapxpr/1,2,3  -- riconoscitore di espressioni


E` disponibile inoltre un programma di dump degli assiomi di una teoria:
	printlaws/0,1,2 -- trascrive su file assiomi e regole di inferenza

E` disponibile infine un pretty-printer LaTeX:
	prettyecho/1 -- trascrive un file mappale in LaTeX