我正在嘗試編寫一個規則，該規則決定一個項目是否X恰好出現在列表中L。unique(X, [X|T]):- !, \+ member(X, T).unique(X, [_|T]):- unique(X, T).該規則適用于確定值是否在列表中是唯一的，但是當我嘗試使用unique(X, [1,2,3,1,3,2,5,4,3,8]).它在列表中獲取唯一值時，返回的只是false.我期望的是這樣（例如member(X, list).：X = 5 ;X = 4 ;X = 8 ;我是一個完全的初學者，我不知道我做錯了什么。
3 回答
哆啦的時光機
TA貢獻1779條經驗 獲得超6個贊
這是一個簡單的解決方案nth0/4（或select/3@false指出）：
unique(X, L) :-
nth0(_, L, X, R),
\+ member(X, R).
nth0/4第四個參數R是刪除L元素的列表X。我們只是檢查那X不是R。
更好的版本
unique(X, L) :-
nth0(_, L, X, R),
maplist(dif(X), R).
這解決了@false指出的問題，但是因為你是初學者我懷疑這對你很感興趣。
這具有在以下情況下工作的優勢：
?- unique(b, [X, Y, a]).
X = b,
dif(Y, b) ;
Y = b,
dif(X, b) ;
false.
達令說
TA貢獻1821條經驗 獲得超6個贊
這聽起來像是一個家庭作業問題。
嘗試這樣的事情。
unique(M, L) :- member(M, L), count(M, L, 1).??
count(M, [H|T], C) :- M = H, count(M, T, C1), C is C + 1.
...
完成后，這給...
?- unique(X, [1,2,3,1,3,2,5,4,3,8]).
X = 5 ;
X = 4 ;
X = 8 ;
false.
unique(Item, List) :-
? select(Item, List, L2),
? \+ member(Item, L2).
- 3 回答
- 0 關注
- 496 瀏覽
添加回答
舉報
0/150
提交
取消