%% goal: answer(X0)

answer(not_unbound_unknown_goal_succeeds) :- \+ missing(X).