%% goal: answer(X0, X1)

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