Mam kolejna baza wiedzy:
connects(1,11,10,8).
connects(1,12,2,6).
connects(1,13,-3,-2).
connects(1,14,1,-5).
Mam te predykaty:
friends(Node, L):-
findall(X,(connects(Node,X,_,_);connects(X,Node,_,_)),L).
gdy zadam pytanie ?- przyjaciele(1,L) u mnie jest to:
L = [11, 12, 13, 14].
Ale mój cel-wydrukować taką listę:
L = [11,10,8,12,2,6,13,-3,-2,14,-5]
Jak mogę to osiągnąć?
Mi nie jest jasne, jakie relacje są w rzeczywistości reprezentuje predykat. W każdym razie, można postąpić w następujący sposób:
?- 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].
Zbierając to wszystko razem, można określić friends/2 jak:
friends(Node, L1):-
findall([X,Y,Z],
( connects(Node, X,Y,Z)
; connects(X, Node, Y,Z) ), L0),
append(L0, L1).
Zakładając, że można zmienić predykat. Wymiana _s z zmiennymi daje żądaną wartość. A następnie użyj flatten/2 aby przekształcić macierz (2D-lista) w prosty 1D-lista.
To powinno rozwiązać twój problem.
friends(Node, L):-
findall([X, Y, Z], (connects(Node, X, Y, Z)), A),
flatten(A, L).
Przykład wydruku:
?- friends(1, L)
L = [11, 10, 8, 12, 2, 6, 13, -3, -2, 14, 1, -5]