Prolog Wrong Compilation?

Question

저는 프롤로그에 매우 익숙합니다. 가능한 한 적은 시간에 최대한 많이 배우려고합니다. 어떤 도움이라도 대단히 감사합니다. MacOS Sierra를 사용하고 있습니다. 나는 프롤로그 명령 창을이 명령을 실행하여 테스트 할 때

nextto(_A,_B). 
nextto(_B,_C). 

것은 :이 아닌가요

?- nextto(A,C). 

을 false를 반환하는

나는이 라인 입력에 노력하고 있어요?

때문에이 같은 사실 내 컴파일 결과 : 프롤로그 _에서

?- nextto(A,C). 
true 

Answer 1

가 대문자 같은 것으로 간주하고 _A, 익명의 변수를 지정하는 것입니다 그래서 자신의 특별한 의미를 가지고있다, _B는 (익명) 변수입니다 (prolog에있는 대문자로 시작하는 것이 가변적이며 원자가 아닙니다). 귀하의 조항 :

nextto(_A,_B). nextto(_B,_C). 

실제로는 술어 nexxto가 두 개의 변수로 성공한다는 것을 의미합니다. 그래서 neexto (A, C)를 질의 할 때. 그것은 사실을 반환합니다. nextto (a, b)를 쿼리하면 true를 반환합니다. 여기서 a, b는 원자가 아닌 변수이고, nextto (a, b)가 있는지 검사 할 것이기 때문이다. 당신의 절에서. 그러나 위에서 말했듯이 당신의 절은 _A, _B의 모든 통일에 성공합니다.

nextto(_A,_B). 

대신 : 당신의 술어 nexxto이 항상 성공 이후 또한 당신도 오직 한 절 쓰기와 같은 결과를 얻을 것

nextto(_A,_B). nextto(_B,_C).