OCaml로 작성되어있어서 못 읽겠다.
왜 Coq도 OCaml이고 이것도 OCaml일까?
아무튼 lambda prolog 입문서 샀음 ㅇㅅㅇ
Programming with Higher-Order Logic

- dc official App