24.24 타뷸레이션(Tabling)을 통한 중복 계산 방지와 종료성 보장