Program di bawah ini adalah program prolog yang digunakan untuk mencari index dari anggota sebuah list dengan masing-masing list dan anggota diinputkan. Index dimulai dari index 0.

Domains
	list = integer*
Predicates
	index(list,integer,integer)
Clauses
	index([E|_],E,0):- !.
	index([_|T],E,I):-index(T,E,I1),!,I=I1+1.

Program di atas telah diuji dan berjalan menggunakan Turbo Prolog dalam DOSBox.