max/3¶

max( X, Vs)* First Argument is the greatest element of a list.

• lex_order( Vs) All elements must be ordered.

The following predicates control search: