answer(not_unbound_unknown_goal_succeeds).