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

answer(functor_char_list, Name, Arity) :- functor("hello", Name, Arity).