% Uppercase letters or underscores mark variables.
%% goal: answer(X0)

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