ground_progressive_backtracking(ok).