Solver for Linear Inequalities
Example:
min : rational -> rational -> rational -> type.
m1 : Y > X -> min X Y X.
m2 : X >= Y -> min X Y Y.
?- P : min 19 99 Z.
Solving...
Z = 19.
P = m1 (+> 19 80ɬ).
More? y
No more solutions
?- P : min 19 X Z.
Solving...
Z = 19;
X = X1.
P = m1 (+> 19 X2).
Constraints remain on X1.
More? y
Z = X3;
X = X3.
P = m2 (+>= X3 X4).
Constraints remain on X3.
More? y
No more solutions
Previous slide
Next slide
Back to first slide
View graphic version