%% ?- answer(X0).

answer(X) :- X is 2 ** -1.