Вывести максимальный элемент списка - Prolog

implement list
    open core
 
constants
    className = "query/list".
    classVersion = "".
 
    domains 
   
    list = integer*. 
    class predicates 
   
        maxlist :(list,integer)procedure(i,o). 
    clauses 
    classInfo(className, classVersion).
 maxlist([X],X).
maxlist([H|Tail],H):-
maxlist(Tail,M),
H>M,!.
maxlist([_|Tail],M):-maxlist(Tail,M).
maxlist ([1,2,3,4,5,6,7,8,9,10],X). 
  calc():- 
 
stdio::write(X),
stdio::nl.
end implement list