이걸 실행했을 때 True가 출력되게 하고 싶어요.
만들 줄 아는 건 G-machine이랑 LALR1 PGS 뿐이고,
아직은 HOPU를 구현할 줄 모릅니다.
lambda-Prolog with supercombinator를 만들고 싶은데, 뭘 배워야 할까요?

- dc official App