24.1 후진 추론(Backward Chaining)의 정의와 기본 동작 원리