%% goal: answer(X0, X1)

answer(uppercase_mixed_string, X) :- uppercase("aBc-1", X).