% Each `_` occurrence is anonymous and independent.
%% goal: answer(X0)

pair(a, b).
pair(c, d).
answer(left(X)) :- pair(X, _).
answer(right(Y)) :- pair(_, Y).