%% goal: answer(X0, X1)

answer(compound_name_arguments_construct_atom_zero, X) :- (X =.. [nil | []]).