minOf(X,List) :- memberOf(X,List), \+ ( memberOf(Y,List), Y<X ).

memberOf(X, [X|_]).
memberOf(X, [_|Tail]) :- memberOf(X,Tail).