在Prolog中查找列表中的值的所有位置

Question

我的任務是這樣的：編寫一個讀取整數x和整數列表L;然後將x所有位置的列表定位到L，並返回結果列表。例如，對於x=2和L=[1,2,3,4,2,5,2,6]程序應返回列表R=[2,5,7]。

到目前爲止，我已經能夠寫一個indexOf謂：

indexOf([E|_], E, 1). 
indexOf([_|T], E, I) :- indexOf(T, E, I2), I is I2 + 1. 

然而，這並不能「迴歸」的列表。所以：

indexOf([a,b,c,a,d], a, R). 
R = 1; 
R = 4 

我想要做這樣的事情：

findAll([a,b,c,a,d], a, R). 
R = [1, 4] 

但我不知道如何收集值成一個列表。

這是一個學校作業，所以我只想欣賞一下正確的方向。

Answer 1

微調：你找到指數，但你不收集它們。

indices(List, E, Is) :- 
    indices_1(List, E, Is, 1). 

對於空表，索引列表是空的， 和元素不要緊

indices_1([], _, [], _). 

如果該元素是一樣的頭，收集指標。

indices_1([E|Xs], E, [I|Is], I) :- 
    I1 is I + 1, 
    indices_1(Xs, E, Is, I1). 

這需要另一個條款才能正常工作。

編輯：

一種方式做到這一點是：

indices_1([X|Xs], E, Is, I) :- dif(X, E), 
    I1 is I + 1, 
    indices_1(Xs, E, Is, I1). 

在前款規定，在名單的頭和元素是統一的。在這個條款中，它們明顯不同。這意味着對於第一個參數列表中的一個元素，這兩個子句中只有一個可以爲真。

編輯：

另一種方法是使用findall和nth1：

indices(List, E, Is) :- 
    findall(N, nth1(N, List, E), Is).