Code:
%eval - Testet, ob bei den zwei vordersten Listenelementen das erste gegen das zweite verliert (compare also -1 liefert) und testet dann die neue Liste, der das vorderste Element fehlt
%Gibt -1 aus, wenn die Liste richtig sortiert ist
eval([],-1).
eval([_],-1).
eval([X,Y|T],Index):-
compare(X,Y,-1), eval([Y|T], Index), Index is -1.