序言：添加列表设置

Question

下面的谓词将项目X添加到列表S.它工作正常。

addToSet(X, S, S) :- 
    atomic(X), 
    member(X, S), 
    !. 
addToSet(X, S, [X|S]) :- 
    atomic(X). 

我试图把它扩大到它增加了列表中的谓语[H | T]设置S.它可以完美的，如果[H | T]只有2项长...即如果T也原子。

addToSet([], S, S). 
addToSet([H,T], S, S2) :- 
    addToSet(H, S, S1), 
    addToSet(T, S1, S2). 

例如addToSet（[5,6]，[1,2,3,4]，X）。按我的愿望工作。但是，addToSet（[5,6,7]，[1,2,3,4]，X）。根本不起作用。我很难过......我的代码的最后2-3行显然有些问题，但我无法弄清楚。有小费吗？

谢谢！

Answer 1

addToSet([H,T], S, S2)应该是addToSet([H|T], S, S2)。实际上，您正在匹配包含H和T的列表，而不是包含头H和尾部T的列表。看起来只是一个错字。