24.9 후진 추론에서의 탐색 전략: 깊이 우선 탐색의 적용