查找元素的索引中列出

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是第一个参数的最后一个子列表。