如何从特定节点打印所有节点

Question

我有以下知识库：

connects(1,11,10,8).
connects(1,12,2,6).
connects(1,13,-3,-2).
connects(1,14,1,-5).

我有这样的谓词：

friends(Node, L):-
findall(X,(connects(Node,X,_,_);connects(X,Node,_,_)),L).

当我问这个问题的时候?-朋友们(1，L)我有这样的问题：

L = [11, 12, 13, 14].

但我的目标是打印一张这样的清单：

L = [11,10,8,12,2,6,13,-3,-2,14,-5]

我怎样才能做到这一点？

Answer 1

我不清楚谓词实际上代表什么关系。无论如何，您可以按照以下步骤进行：

• 首先，使用菲德尔收集所需的数据，作为列表的列表

?- findall([X,Y,Z], connects(1,X,Y,Z), L).
L = [[11, 10, 8], [12, 2, 6], [13, -3, -2], [14, 1, -5]].

• 在此之后，您可以使用追加获得一个扁平列表：

?- findall([X,Y,Z], connects(1,X,Y,Z), L0), append(L0, L1).
L0 = [[11, 10, 8], [12, 2, 6], [13, -3, -2], [14, 1, -5]],
L1 = [11, 10, 8, 12, 2, 6, 13, -3, -2, 14, 1, -5].

综合起来，您可以将好友/2定义为：

friends(Node, L1):-
   findall([X,Y,Z],
           ( connects(Node, X,Y,Z)
           ; connects(X, Node, Y,Z) ), L0),
   append(L0, L1).

Answer 2

假设您可以更改谓词。用变量替换_将为您提供所需的值。然后使用flatten/2将矩阵(2D列表)转换为一个简单的一维列表。

这应该能解决你的问题。

friends(Node, L):-
    findall([X, Y, Z], (connects(Node, X, Y, Z)), A),
    flatten(A, L).

示例输出：

?- friends(1, L)
L = [11, 10, 8, 12, 2, 6, 13, -3, -2, 14, 1, -5]