그리고 제가 이루고자 하는 목표가

[기괴공학도(mecheng98)]

람다-프롤로그로 다 할 수 있는 거라서,

람다-프롤로그 인터프리터를 만들고 싶어요.

Programming with Higher-Order Logic에서

람다-프롤로그 원리를 잘 설명해줘서 알 것도 같은데 막상 구현하려면 못하겠어요.

Higher-Order Unification조차 구현하기 어렵네요.

아, 저는 OCaml은 잘 모르고 Haskell이랑 C만 할 줄 알아요.

- dc official App

[lp(24.131)]

음... 그 경우 저라면 프롤로그 인터프리터 구현부터 시작해 볼 것 같습니다.

[기괴공학도(mecheng98)]

알겠습니다. 제 생각에도 처음부터 큰 목표를 이룰 수는 없는 것 같아요. - dc App

[익명(119.203)]

뭔가 이해하기 어려운 신기한 걸 하시네요.

[기괴공학도(mecheng98)]