prolog::min/1¶

min(+ Expression)* Minimizes Expression within the current constraint store.

This is the same as computing the infimum and equation the expression to that infimum.

Private-func:¶

1. prolog::min_1::min/1(int ARG1)():