%% ?- answer(X0, X1).

answer(variable_clause_locality, X) :- one(X).
one(a).
one(b).