저만의 람다-프롤로그 인터프리터를 만들어보았습니다

[익명(218.232)]

아직 덜 구현된 기능들이 있지만,

겐첸의 자연연역을 검증하는 코드를 실행하기에는 충분합니다.

짤에는 공리꼴을 어떤 논리식으로 인스턴스화하는 것을 확인하는 모습이 담겨있습니다.

코드는 이곳( https://github.com/KiJeong-Lim/aladin )에서 보실 수 있습니다.

[익명(218.232)]

아직 입출력도 제대로 안 되고, 타입 시스템도 너무 간단하지만요.

[익명(61.82)]

유튜브 강의 찍어서 올ㄹ려주면 안댐? - dc App

[익명(218.232)]

https://gall.dcinside.com/mgallery/board/view/?id=logic&no=846