查找元素的索引中列出

Question

我有這樣的數據結構的列表，其中的元素始終是唯一的：

[[a,b,c], [d,e,f], [y,z]] 

現在，我想編寫一個程序來得到一個元素的索引，說我有：

indexOf([[a,b,c], [d,e,f], [y,z]], a, H) 

和H是0。或者：

indexOf([[a,b,c], [d,e,f], [y,z]], f, H) 

和H是2。

這是我有：

indexOf_single([X|_],X,0). 
indexOf_single([_|T],X,H) :- indexOf_single(T,X,H1), H is H1 + 1. 

indexOf([T],X,H) :- indexOf_single(T,X,H). 
indexOf([Head|Tail],X,H) :- indexOf_single(Head,X,H),indexOf(Tail,X,H). 

但我發現了false所有的時間。你能給我任何線索解決它嗎？

Answer 1

嘗試用

indexOf([Head|_],X,H) :- indexOf_single(Head,X,H). 
indexOf([_|Tail],X,H) :- indexOf(Tail,X,H). 

我在你indexOf/3看到兩個錯誤。

（1）你的第二個條款

​​

在你問這個H在Head在Tail發現（通過indexOf_single/3）和。當「元素總是獨一無二的」時，這是不可能的。

（2）你的第一句

indexOf([T],X,H) :- indexOf_single(T,X,H). 

在你T只有搜索如果T是第一個參數的最後一個子列表。