% Reference 10.2, 11: host-supplied goals restrict selected default predicate groups.
%% ?- answer(X0, X1).

seed(a).
helper(X, y) :- seed(X).
answer(X, ok) :- helper(X, y).