%% goal: answer(X0)

answer(Term) :- Term = x-y.