% Uppercase letters or underscores mark variables.
%% ?- answer(X0).

item(ok).
answer(X) :- item(X).