的Prolog變量變得沒有價值

Question

我已經寫了下面的代碼在序言：

contains(L1, []). 
contains(L1, [X | T2]) :- member(X, L1), contains(L1, T2). 

minus(L, [], L). 
minus(L1, L2, L3) :- contains(L1, L3), nomembers(L3, L2). 

nomembers(L1, []). 
nomembers(L1, [X | T2]) :- not(member(X, L1)), nomembers(L1, T2). 

contains(L1, L2)返回true，如果所有在L2成員出現在L1。 （contains([1,2],[1,1,1])是真的）。

minus(L1, L2, L3)返回true，如果L3=L1\L2，意思L3由L1成員但不是L2。

當我問minus([1,2,3,4],[2,1],L)，我得到的答案是L=[]，雖然邏輯上它應該是L=[3,4]。有人知道爲什麼嗎？

Answer 1

以上評論mbratch是非常有幫助的。

注意，您目前的minus(L1, L2, L3)的定義是：的L3所有成員都在L1並沒有從L3構件處於L2。

序言給你很好的答案L3 = []，它適合我上面寫的定義。

編輯：下面的代碼應該做你想做的，但是目前我沒有在我的電腦上使用prolog，所以我無法測試它。

remove(X, [X|T], T) :- !. 
remove(X, [H|T], [H|T2]) :- remove(X, T, T2). 

minus(L1,[],L1). 
minus(L1,[H|T2],T3) :- member(H, L1), !, remove(H,L1,L4), minus(L4, T2, T3). 
minus(L1,[H|T2],[H|T3]) :- minus(L1, T2, T3). 

remove(X,LA,LB)它說：LB是LA沒有它的X第一次出現，所以它只是從列表中刪除元素。