[%] nabi 타입 체커를 람다-프롤로그로 짤 수 있을까?

[기괴공학도(mecheng98)]

짤 수 있을 것 같은데, 짜는 법을 모르겠다.