Объединение нескольких списков, содержащих тот же элемент в PROLOG

Question

Пытаясь понять это, как я могу объединить выход как этот в Прологе:

[[z], [l, e, d], [j, i, d, c, a], [g, f, b], [h, b]] 

, чтобы получить результат:

[z] 

[l,e,d,j,i,c,a] 

[g,f,b,h] 

Не знаете, как объединить несколько списков, содержащих хотя бы один похожий символ.

Буду признателен за помощь более опытных парней, потому что я только начинаю, и эта задача довольно сложная.

Спасибо.

EDIT

задача получить от краев, определенных пользователем всех подключенных компонентов и распечатать их на выходе.

Для ввода пользователя экземпляра края:

data([[z,z],[a,c],[c,d],[d,i],[i,j],[d,e],[e,l],[b,f],[f,g],[b,h]]). 

Так что я пытаюсь понять его, как решить эту проблему. Что я только что сделал:

data(Edges):- 
    dbH(Edges), 
    searching, 
    print, 
    retractall(e(_,_)), 
    retractall(lists(_)). 

dbH([]). 
dbH([[X, Y] | Body ]) :- 
    assertz(e(X,Y)), 
    dbH(Body). 

oe(X,Y):- 
    e(X,Y); 
    e(Y,X). 

searching:- 
    nextE. 

searching([Act | RouteStartAct]):- 
    nextE([Act | RouteStartAct]). 

nextE:- 
    oe(Act,New),!, 
    delE(Act,New), 
    cycle([Act],New). 
nextE:- 
    !. 

nextE([Act | RouteStartAct]):- 
    oe(Act,New),!, 
    delE(Act,New), 
    cycle([Act | RouteStartAct],New). 
nextE(Act):- 
    assertz(lists(Act)), 
    searching. 

delE(X,Y):- 
    retract(e(X,Y)); 
    retract(e(Y,X)). 

cycle(Act,New):- 
    not(mbr(New, Act)), !, 
    searching([New|Act]). 
cycle(Act,New):- 
    assertz(lists(Act)), 
    searching. 

mbr(Element, [Element|_]). 
mbr(Element, [_|Body]) :- 
    mbr(Element, Body). 

print:- 
    findall(C,lists(C),L), 
    write(L). 

В конце записи (L) список печатных изданий списков, которые мне нужны для дальнейшего слияния на основе аналогичных элементов в каждом списке. Как объединить части одного графа вместе и распечатать их.

EDIT2 Результат этой команды:

?- data([[a, c], [c, d], [d, i], [i, j], [d, e], [e, l], [b, f], [f, g], [b, h]]). 

является

[[j, i, d, c, a], [l, e, d], [g, f, b], [h, b]] 

так из этого вывода очевидно, что список [j, i, d, c, a] и [l, e, d] могут быть объединены в один список [j, i, d, c, a, l, e]. То же самое для списков [g, f, b] и [h, b], эти два списка имеют общий символ b, поэтому выход должен быть [g, f, b, h]. В результате этих двух сливает конечный результат должен выглядеть следующим образом:

[j, i, d, c, a, l, e] 

[g, f, b, h] 

Это более очевидно, знаете?

Answer 1

Вы могли бы начать с

touching(A,B):- memberchk(E,A), memberchk(E,B). 

joined(A,B,C):- touching(A,B), setof(X, (member(X,A) ; member(X,B)), C). 

Теперь вы остались с задачей формулирования шага отношение, которое будет найти любые двух членов данного списка, для которого touching/2 преуспевает, и обновить список с новый joined/3 запись; и повторите этот шаг, пока он больше не будет выполнен; таким образом, достигнув решения.

Answer 2

@WillNess Hi again Will, я потратил еще один день, пытаясь реализовать свой намек на мою ситуацию, но, к сожалению, я не могу переработать ваш источник, чтобы нормально работать для моего дела.Особенно я увлекаюсь ситуацией, когда мне нужно использовать рекурсию для работы по всем спискам, и если я обнаруживаю, что у двух списков есть хотя бы один подобный элемент, я могу объединить их вместе через функцию setof и продолжить с этим новым списком, чтобы сравнить остальные. Однако у каких первых двух списков нет подобного элемента? Приведем пример: [[a,b,c,d], [e,f,g],[i,j,k],[e,a,b]]. В этой ситуации, если я попытаюсь сравнить список [a,b,c,d] и [e,f,g], тогда я даю возможность не связывать эти два списка вместе, потому что у них нет подобного характера. Но в конце после подключения [a,b,c,d] и [e,a,b] Я также могу подключить первую ситуацию [a,b,c,d] и [e,f,g]. Вы видите мою точку зрения? Мне нужно как-то повторить так же и обратно. Такая ситуация для меня совершенно тупика. Удивление, если есть лучшее решение для моей главной цели, которое печатает все части отключенного графика на основе вставленных пользователем краев.