Finden der Index des Elements in einer Liste von Listen

Question

ich diese Datenstruktur haben, wo die Elemente sind immer einzigartig:

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

Nun, ich möchte ein Verfahren schreiben, den Index eines Elements zu erhalten, sage ich haben:

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

und H ist 0. Oder:

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

und H ist 2.

Das ist, was ich habe:

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). 

Aber ich bin immer false die ganze Zeit. Könnten Sie mir bitte Hinweise geben, um es zu lösen?

Answer 1

Versuchen mit

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

ich in Ihrem indexOf/3 zwei Fehler zu sehen.

(1) in der zweiten Klausel

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

Sie darum bitten, dass H im Head (via indexOf_single/3) und im Tail gefunden wird. Und das ist unmöglich, wenn "die Elemente immer einzigartig sind".

(2) in der ersten Klausel

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

suchen Sie in Tnur wenn T die letzte Unterliste des ersten Arguments ist.