%% goal: answer(ok)

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