%% goal: answer(X0)

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