使用追加與成員謂詞

Question

我想知道如何實現附加到成員謂詞。

我有這個會員

member2(X, [X|T]). 
member2(X, [H|T]) :- member2(X,T). 

我怎麼能實現追加到這一點。

謝謝！

Answer 1

這是append/3謂詞的實現：

append([],X,X). 
append([H|T],X,[H|S]) :- append(T,X,S). 

您可以定義使用append/3member/2謂詞如下

member(X,L) :- append(_,[X|_],L). 

其中append(_,[X|_],L)分裂的所有可能的形式列表L（通過再評價）並且會員X與第二名單[X|_]的負責人統一。