%% ?- answer(X0, X1, X2).

answer(functor_number_scalar, Name, Arity) :- functor(123, Name, Arity).