계산이론 + 파서생성기가 올해의 목표인데,
람다-프롤로그 보고 있네;;
그런데 람다-프롤로그용 증명보조기도 있음 ㄷㄷ

- dc official App