프롤로그가 누군가가이 재귀를 설명 할 수 있습니까

Question

누군가 다음 Prolog 재귀가 어떻게 작동하는지 설명 할 수 있습니까?

findRoute(A,A,_). 
findRoute(A,C,Path) :- 
    nextCnvZone(A,B), 
    \+ member(B,Path), 
    findRoute(B,C,[B|Path]). 

내가 두 번째 부분을 이해할 수 있지만, 일을 처음 findRoute(A,A,_). 무엇인지 즉 첫 번째 부분을 이해할 수 없었다?

Answer 1

첫 번째 매개 변수가 두 번째 매개 변수와 같을 때 재귀를 중지하는 부분입니다. 재귀 수준을 완료 한 경우 모든 재귀 수준을 통해 true을 반환합니다.

일반적으로 첫 번째 매개 변수는 두 번째 매개 변수와 동일하다는 규칙이 있습니다.

?- findRoute(1, 1, 5). 
true 
?- findRoute(1, 2, 5). 
false 
?- findRoute(1, X, 5). 
X = 1 
?- findRoute(X, 2, 5). 
X = 2