%% goal: answer(X0)

answer(length_improper_fails) :- length([a | b], _).