24.13 SLD 분해(SLD Resolution)의 형식적 정의와 증명 절차