SWI-Prolog Did You Know Did you know? don't use format/2 to print errors Search Documentation:
Predicate max_member/3
Availability::- use_module(library(lists)).(can be autoloaded)
Source[semidet]max_member(:Pred, -Max, +List)
True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. Fails if List is empty. The following call is equivalent to max_member/2: 
?- max_member(@=<, X, [6,1,8,4]).
X = 8.
See also
max_list/2 for the maximum of a list of numbers.
Tags are associated to your profile if you are logged in
Tags: