%% ?- answer(ok).

answer(ok) :- functor(_, _, _).