% Reference 11: query output excludes source facts even if also derivable.
%% ?- answer(X0, X1).

seed(a).
answer(a, ok).
answer(X, ok) :- seed(X).
answer(b, ok) :- seed(a).