序言：從列表B中刪除列表A中發生的所有元素

Question

我試圖定義一個謂詞「刪除（L1，L2，L3）」，當L3等於L2減去這些元素中包含的任何元素L1。例如。刪除（[1]，[1,2,3]，X）=>會統一爲X = [2,3]。我的代碼如下：

isNonElement(_, []). 
isNonElement(X, [Y|Z]) :- X \= Y, isNonElement(X,Z). 

delete(_, [], []). 
delete(Y, [X|W], Z) :- \+(isNonElement(X, Y)), delete(Y, W, Z). 
delete(Y, [X|W], [X|Z]) :- isNonElement(X, Y), delete(Y, W, Z). 

但是它似乎不適用於每個測試用例。任何人都可以幫我解決我的代碼有什麼問題嗎？

在此先感謝！

此致敬禮， Skyfe。

P.S.我不能告訴我的謂詞不能正確工作的情況，因爲它是由學校系統測試的，它不告訴我哪個測試用例失敗。

Answer 1

你是非常接近！

剩下的一個問題是，你正在應用一個完全合理的邏輯推理來判斷不承認這樣的閱讀。你的代碼工作完全按照預期的，如果你簡單地套用以下的極其直接的變化：中

1. 代替(\=)/2，使用dif/2
2. 代替\+(isNonElement(X, Y))，簡單地寫：member(X, Y)。

第一次更改總是可取的：它通常會使您的程序在更多方向上可用。第二個改變通過使用純謂詞來避免使用不純否定。

總體而言，我們現在有：

 
isNonElement(_, []). 
isNonElement(X, [Y|Z]) :- dif(X, Y), isNonElement(X,Z). 

delete(_, [], []). 
delete(Y, [X|W], Z)  :- member(X, Y), delete(Y, W, Z). 
delete(Y, [X|W], [X|Z]) :- isNonElement(X, Y), delete(Y, W, Z). 

現在檢查了這一點：首先，你的測試案例：

 
?- delete([1], [1,2,3], X). 
X = [2, 3] ; 
false. 

按預期工作！

其次，具有可變的情況下，爲L2：

 
?- delete([], L2, []). 
L2 = [] ; 
false. 

這似乎也是很不錯的。

三，另一個變量：

 
?- delete([X], [1,2,3], Ls3). 
X = 1, 
Ls3 = [2, 3] ; 
X = 2, 
Ls3 = [1, 3] ; 
X = 3, 
Ls3 = [1, 2] ; 
Ls3 = [1, 2, 3], 
dif(X, 3), 
dif(X, 2), 
dif(X, 1) ; 
false. 

注意現在X不同的可能性，並dif/2如何在回答用於表達X必須從某個整數不同在這種情況下， 。

使用不純謂詞排除這樣更通用的用法，並且您的評分系統也可以嘗試這樣的情況。

請注意，您當然可以輕鬆地自己實現member/2。這是最直接的關係之一。然而，還要注意delete/3是可怕的命名：一個勢在必行總是意味着使用一個特定的方向，但我們正在考慮在這裏的關係也承認許多其他用途 模式！