我正在嘗試編寫(xiě)一個(gè)規(guī)則，該規(guī)則決定一個(gè)項(xiàng)目是否X恰好出現(xiàn)在列表中L。unique(X, [X|T]):- !, \+ member(X, T).unique(X, [_|T]):- unique(X, T).該規(guī)則適用于確定值是否在列表中是唯一的，但是當(dāng)我嘗試使用unique(X, [1,2,3,1,3,2,5,4,3,8]).它在列表中獲取唯一值時(shí)，返回的只是false.我期望的是這樣（例如member(X, list).：X = 5 ;X = 4 ;X = 8 ;我是一個(gè)完全的初學(xué)者，我不知道我做錯(cuò)了什么。
3 回答
哆啦的時(shí)光機(jī)
TA貢獻(xiàn)1779條經(jīng)驗(yàn) 獲得超6個(gè)贊
這是一個(gè)簡(jiǎn)單的解決方案nth0/4（或select/3@false指出）：
unique(X, L) :-
nth0(_, L, X, R),
\+ member(X, R).
nth0/4第四個(gè)參數(shù)R是刪除L元素的列表X。我們只是檢查那X不是R。
更好的版本
unique(X, L) :-
nth0(_, L, X, R),
maplist(dif(X), R).
這解決了@false指出的問(wèn)題，但是因?yàn)槟闶浅鯇W(xué)者我懷疑這對(duì)你很感興趣。
這具有在以下情況下工作的優(yōu)勢(shì)：
?- unique(b, [X, Y, a]).
X = b,
dif(Y, b) ;
Y = b,
dif(X, b) ;
false.
達(dá)令說(shuō)
TA貢獻(xiàn)1821條經(jīng)驗(yàn) 獲得超6個(gè)贊
這聽(tīng)起來(lái)像是一個(gè)家庭作業(yè)問(wèn)題。
嘗試這樣的事情。
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 關(guān)注
- 497 瀏覽
添加回答
舉報(bào)
0/150
提交
取消