%% ?- answer(X0).

choice(a).
choice(b).
answer(X) :- once(choice(X)).