%% ?- answer(X0).

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