%% goal: answer(X0)

base(ok).
answer(source).
answer(derived) :- base(ok).