Actividad prolog recursiva terminada.