%======= INSTALLATION:

download SWI-Prolog

While installing SWI-Prolog, choose extension .pl for Prolog executable files
(alternatively, modify the extension of VIA.pl---e.g. into VIA.swi)

The .pro files are Prolog programs (.pl their master, the one used to launch the system)

The files which have no extension are data Prolog files

Then we have LaTeX files (extension .tex), all eliminable and compilable under macros.txt

We have also .txt files, used to document the system, all but macros.txt needed by LaTeX 

%======= EXECUTION:

Double-click on VIA.pl (a file which consults various .pro)

Answer all 5 configuration questions 

At this point, a syntactic recognizer for the map language is available:
	mapeq/1,2,3   -- statement recognizer
	mapxpr/1,2,3  -- expression recognizer 

Moreover, a dump predicate is available to print the axioms of a theory:
	printlaws/0,1,2 -- copies into file axioms and inference rules

A pretty-printer LaTeX is available too:
	prettyecho/1 -- translates a file related to map calculus into LaTeX