내일 열역학 시험인데, Higher-Order Pattern Unification을 제외한 λ-Prolog 인터프리터 뒷단을 만들었다.

문제는 HOPU는 많이 어렵다는 거임 ㅠㅠ