%% goal: answer(X0)

helper(a).
helper(b).
answer(X) :- helper(X).
answer(X) :- helper(X), (X = c).