%% ?- answer(X0).

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