私はこのデータ構造を持っている

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/3で2つのエラーを参照してください

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

で試してみてください。

（1）2番目の句

​​

にあなたはとTailで（indexOf_single/3経由）HがHeadで発見されますようお願いいたします。そして、「要素は常にユニーク」なので、これは不可能です。 Tは、最初の引数の最後のサブリストがある場合は、あなたの最初の句

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

で

（2）あなたはTのみで検索します。