24.12 Prolog 언어의 해석 메커니즘과 후진 추론 실행 모델