방이 경로 사이에 연결되어 있는지 확인하는 방법

Question

다음 정보는 내 지하 감옥의 날개를 달고 있습니다.

path(room1,e,room2). 
path(room2,w,room1). 
path(room2,e,room5). 
path(room5,w,room2). 
path(room5,e,room6). 
path(room6,w,room5). 
path(room2,n,room3). 
path(room3,s,room2). 
path(room3,e,room4). 
path(room4,w,room3). 
path(room4,s,room5). 
path(room5,n,room4). 
path(room5,s,room7). 
path(room7,n,room5). 
path(room7,e,room8) :- at(key, in_hand). 
path(room7,e,room8) :- write('The door appears to be locked.'), nl, fail. 
path(room8,w,room7). 
path(room2,s,room9). 
path(room9,n,room2). 
path(room9,s,room10). 
path(room10,n,room9). 
path(room10,w,room11). 
path(room11,e,room10). 
path(room11,s,room12). 
path(room12,n,room11). 

이제 하나의 방이 다른 방에 연결되어 있는지 확인한 다음 가능한 경로 중 하나를 표시할지 확인하고 싶습니다. 나는 이런 식으로하려고 시도했다. connected(X,Y):-path(X,_,Z),path(Z,_,Y). 그러나 그것은 나에게 잘못된 것을주고있다. 내가 뭘 잘못하고 있는지.

connect(Bgn,End,Path) :- % to find a path between two nodes in the graph 
    connected(Bgn,End,[],P) , % - we invoke the helper, seeding the visited list as the empty list 
    reverse(P,Path)   % - on success, since the path built has stack semantics, we need to reverse it, unifying it with the result 
    . 

connected(X,Y,V,[X,Y|V]) :- % can we get directly from X to Y? 
    path(X,_,Y)    % - if so, we succeed, marking X and Y as visited 
    .       % 
connected(X,Y,V,P) :-  % otherwise... 
    path(X,_,T) ,    % - if a path exists from X to another room (T) 
    T \= Y ,     % - such that T is not Y 
    \+ member(X,V) ,   % - and we have not yet visited X 
    connected(T,Y,[X|V],P) % - we continue on, marking X as visited. 
    . 

같은

Answer 1

시도 뭔가 당신은 전에 방을 방문하는 데에 대한 테스트를 알게 될 것이다. 그래프에 사이클이있는 경우 이전에 노드를 방문했는지 테스트하지 않은 경우 스택 오버플로가 발생할 때까지 주변을 돌아 다니며 순환합니다.