%% ?- answer(X0).

answer(le_equal_char_list) :- ("abc" @=< "abc").