[%] 이 문제를 풀 수 있는 언어

[익명(218.232)]

람다-프롤로그

[ㅇㅅㅇ(116.255)]

개쩌넹 근데 teyjus 이거 왜 아마존에도 책이 없음?

[익명(218.232)]

?? lambda-Prolog라는 언어의 한 구현체 이름이 teyjus임.

[익명(218.232)]

람다-프롤로그 공부하려면, Programming with Higher-Order Logic이라는 책 보면 됨.

[ㅇㅅㅇ(116.255)]

이런거 첨봐서 잘 모름. 킨들판 있네 땡큐

[ㅇㄹ(rerereq)]

그래서 B가 맥인거맞냐

[익명(218.232)]

ㅇㅇ

[익명(219.250)]

miyak 개웃기넼ㅋㅋㅋㅋㅋㅋㅋㅋㅋ

[응응(115.137)]

그래서 답이 뭐냐 가능성만 따지면 a b 가능 c d 불가인 것 까진 알겠는데

[익명(218.232)]

B

[익명(110.70)]

쿼리에 노가다한거 실화냐

[익명(rhetoricofdeath)]

오