%% goal: answer(X0)

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