재귀와 결합한 회원

Question

나는 대학에서 프롤로그를 배우고, 가정 훈련 중에는 다소 이상하게 들린다.

edges(X,Edges):- 
    findall(Edge,(highway(X,Y,Edge);highway(Y,X,Edge)),Edges). 

edgesList([],_). 
edgesList([node(X)|InL],OutL):- 
    member((node(X),Edges),OutL), 
    edges(X,Edges), 
    edgesList(InL,OutL). 

사용 다음과 같은 사실 :

highway(1,2,yellow). 
highway(2,3,blue). 
highway(1,3,yellow). 

당신은 처음 두 인수에 두 개의 노드를 설명하는 사실로 고속도로를 볼 수 있습니다 나는 훨씬 더 큰 프로그램의 일부 프롤로그 절, 다음 썼다 그리고 세 번째에있는 가장자리. 모든 사실들이 함께 연결된 그래프를 형성합니다.

절 가장자리 목록을 사용하여 노드 당 가장자리를 나열하려고합니다.

Result = [(node(1),[yellow,yellow]),(node(2),[blue,yellow]),(node(3),[blue,yellow])] 

하지만 내 쿼리를 작성할 때 :

어떤 이유

List = [(node(1),[yellow, yellow]), (node(2),[blue, yellow]), (node(3),[blue, yellow])|_G610] 

, 프롤로그는 결과-목록의 꼬리를 통합하지 않습니다

edgesList([node(1),node(2),node(3)],List). 

을 나는 다음과 같은 결과를 얻을 수 빈 목록은 구성원 술어가 올바르다는 사실에도 불구하고 가정합니다.

edgesList([],_). 

결국 그것을 채울 것 때문에 :

Answer 1

문제는 절에있다 ... 그것은 다른 excercises 지금 몇 번 무슨 일이 생긴 뭔가 그리고 내가 뭘 잘못했는지 알고 좋은 것 uninstantiated 꼬리가있는리스트 (| _G610).

한가지 해결책은 :

edges(X,Edges):- 
    findall(Edge,(highway(X,Y,Edge);highway(Y,X,Edge)),Edges). 

edgesList([],[]). 
edgesList([node(X)|InL],[(node(X),Edges)|T]):- 
    edges(X,Edges), 
    edgesList(InL,T).