Как найти номер максимального элемента списка?

domains 
  L = integer*
  M = integer
  N = integer   
predicates
  max(L, M, N)
clauses
  max([X], X, 0).
  max([X,Y|Tail], M, N) :- X<=Y,
                           max([Y|Tail], M, N1),
                           N=N1+1.                           
                           
  max([X,Y|Tail], M, N) :- X>Y,
               max([X|Tail], M, N).

domains 
  L = integer*
  M = integer
  N = integer   
predicates
  nondeterm max(L, M, N)
clauses
  max([X], X, 1).
  max([X,Y|Tail], M, N) :- X<=Y,
                           max([Y|Tail], M, N1),
                           N=N1+1.                           
                           
  max([X,Y|Tail], M, N) :- X>Y,
                           max([X|Tail], M, N).
goal
  max([1,2,8,4,5,3,2,1],X,Y).

domains 
  L = integer*
  M = integer
  N = integer   
predicates
  nondeterm max(L, M, N)
clauses
max([Head|Tail],Result,N):-
                max(Tail,Result,Nr),Result>Head,N=Nr+1,!.
        max([Head|_],Head,1).
goal
  max([1,2,8,11,2,4,5,3,9,2,101,1,2,9,1,123],X,Y).