[ library(ic) | Reference Manual | Alphabetic Index ]
min(+Vars, ?Min)
Constrains Min to be the smallest element in Vars.
- Vars
- Collection (a la collection_to_list/2) of variables or numbers (NOT arbitrary expressions)
- Min
- Minimum element of Vars
Description
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