m:-readln([X]),name(X,Y),sort(Y,Z),(Y\=Z;writeln(X)),!,m.