Result is min(Vector)
which should be preferred.
Vector must be a non-empty list, array or collection expression (as accepted by eval_to_list/2). The elements of Vector must be numbers, and Result is the minimum of these numbers (converted to the widest type of the vector elements).
In coroutining mode, if the list is only partly instantiated, the predicate delays until the list is complete.
Success:
X is min([1,2,3]). % gives X = 1
X is min([1,2.0,3]). % gives X = 1.0
X is min([](1,2,3)). % gives X = 1
A=[](4,5,6,7), X is min(A[2..3]). % gives X = 5
Error:
X is min([]). % type error