[질문] [Prolog] 이게 왜 나오는지 모르겠어요.

[기괴공학도(mecheng98)]

없애려면 어떻게 해야되죠?

나도 프롤로그 같은 인터프리터 만들고 싶다

[기괴공학도(mecheng98)]

짤은 직관주의 논리에 관한 것입니다 ㅇㅅㅇ

[기괴공학도(mecheng98)]

첫번째 줄을 proves(H, A) :- in(A, H).로 고치니까 잘 되네요 ㅎㅎ