24.14 통합(Unification) 알고리즘의 정의와 변수 바인딩 과정