타입만 맞추면 돌아감 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

https://gist.github.com/mecheng98/26784a12ef3e613b7484bd231743c67b

사실 저 람다-프롤로그 코드가 왜 돌아가는지는 모르고

그냥 타입만 설계하면서 책에 있는 코드 확장시킨 게 전부임.

물론 책에 있는 코드조차 이해하지 못했음.

왜 돌아가는지를 생각해보고 있는데 아무리 생각해봐도 모르겠음 ㅠㅠ