f('one').  f(a(1)).

prog :- f(X), random(2) > 0, atom_length(X, Len), writeln(Len).
