% z: número atômico.

z(Símbolo,Z) :- na(Símbolo,Z).

z(Símbolo) :- na(Símbolo).

z :- na_.