aggiunta regola invalid target nel modulo EXIT, da testare
Aggiunta esercizi PROLOG
modifiche a strategia BASE
merge