%% goal: answer(X0, X1, X2)

answer(functor_list_cons, Name, Arity) :- functor([a, b], Name, Arity).