Relazione Martelli - Prolog