[ library(ic) | Reference Manual | Alphabetic Index ]

min(+Vars, ?Min)

Constrains Min to be the smallest element in Vars.
Collection (a la collection_to_list/2) of variables or numbers (NOT arbitrary expressions)
Minimum element of Vars


Constrains Max to be the smallest element in the collection of variables or numbers Vars.

You may find it more convenient to embed min(Vars) in a constraint.

See Also

max / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2