成员结合递归

Question

我在大学学习 Prolog，并在家庭练习中不断发现一些相当奇怪的东西。我编写了以下 Prolog 子句，它们是更大程序的一部分：

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])]

但是当我写我的查询时：

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

我得到以下结果：

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

出于某种原因，Prolog 不会将结果列表的尾部与空列表统一起来，尽管我认为成员谓词使用正确。这种事情现在在不同的练习中发生了几次，很高兴知道我做错了什么......

Answer 1

问题出在子句中：

edgesList([],_).

因为最后它会用未实例化的尾部 (|_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).