%% ?- answer(X0).

'<=>'(ok).
answer(ok) :- '<=>'(ok).