- constraint(+Constraint, +S0, -S)
- Adds a linear or integrality constraint to the linear program
corresponding to state S0. A linear constraint is of the form
Left
Op C
, where Left is a list of Coefficient*Variable
terms
(variables in the context of linear programs can be atoms or
compound terms) and C is a non-negative numeric constant. The list
represents the sum of its elements. Op can be =
, =<
or >=
.
The coefficient 1
can be omitted. An integrality constraint is of
the form integral(Variable)
and constrains Variable to an integral
value.