[ 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