prolog - 尾递归问题

Question

我是 prolog 的新手，我正在尝试创建谓词，但遇到了一些麻烦。

我有一个通过火车连接的城市列表。它们通过我的 links/2 子句连接。

links(toronto, ajax).
links(toronto, markham).
links(toronto, brampton).
links(brampton, markham).
links(markham, ajax).
links(brampton, mississauga).
links(mississauga, toronto).
links(mississuaga, oakville).
links(oakville, st.catharines).
links(oakville, hamilton).
links(hamilton, st.catharines).

我正在编写一个名为 addnewcities 的谓词，它将获取一个城市列表，然后返回一个包含原始列表的新列表，以及与原始列表中的每个城市直接相连的所有城市。

这是链接的（粗略）视觉表示。

如果我的输入列表是[toronto]，我希望我的输出是（顺序无关）[ajax,markham,brampton,mississauga,toronto]。

如果输入是[oakville,hamilton]，我希望输出是[mississauga,st.catharines,oakville,hamilton]。

到目前为止，这是我的谓词。

addnewcities([],_).
addnewcities([CitiesH|Tail],Ans):- directer(CitiesH,Ans2),  merger(Ans2,[CitiesH],Ans), addnewcities(Tail,Ans).

directer/2 获取一个城市并在第二个参数中保存一个包含所有直连城市的列表。

merger/3 只是合并两个列表，确保最终列表中没有重复项。

当我的输入是一个包含一个元素的列表时，即[toronto] 它可以工作！ 但是当我有一个包含多个元素 [toronto,ajax] 的列表时，它每次都说“假”。

我很确定我的问题是，当它第二次递归时，merge 就是它的错误。我只是不知道如何解决这个问题，以便我的列表可以不断更新，而不是检查真假。

感谢任何帮助！

Answer 1

此查询使用库支持来解决问题：

addcities(Cs, L) :-
  setof(D, C^(member(C,Cs), (C=D;link(C,D);link(D,C))), L).

Answer 2

这应该可以满足您的需求：

addcities(A,B):-
    addcitiesaux(A,[],B).

addcitiesaux([],X,X).

addcitiesaux([X|Xs],L,R):-
    link(X,A),
    \+ member(A,L),
    !,
    addcitiesaux([X|Xs],[A|L],R).

addcitiesaux([X|Xs],L,R):-
    link(A,X),
    \+ member(A,L),
    !,
    addcitiesaux([X|Xs],[A|L],R).

 addcitiesaux([X|Xs],L,R):-
    addcitiesaux(Xs,[X|L],R).