24.17 후진 추론에서의 백트래킹(Backtracking) 메커니즘