%% ?- answer(X0).

answer(ok) :- contains('abc', '').