프롤로그 내가 프롤로그에서 "내 친구의 친구가 내 친구"의 규칙을 정의하기 위해 노력하고있어 무한 루프

Question

에 떨어지는, 나는 다음과 같은 코드가 있습니다

friends(john,jake). 
friends(mike,hans). 
friends(hans,robert). 
friends(robert,angela). 

mutual_friendship(X,Y):- 
    friends(X,Y); 
    friends(Y,X). 

friendship(X,Y):- 
    mutual_friendship(X,Y),!; 
    mutual_friendship(Y,Z), friendship(Z,X). 

을 그리고 그 꽤 잘하지, 그것을 한스와 로버트를 통해 마이크와 안젤라 사이의 우정을 감지 할 수 있다면, 예를 들어 링크되지 않은 존과 안젤라의 우정을 찾으려고 할 때 문제가 발생하지만 프로그램이 무한 루프에 빠지게됩니다.

Answer 1

mutual_friendship/2 여기에 약간 관련이 있습니다.

그리고 대한 주어진 사실

friends(john,jake). 
friends(mike,hans). 
friends(hans,robert). 
friends(robert,angela). 

우리가

?- friendship(john,angela). 
false. 

?- friendship(mike,angela). 
true .