next up previous
Next: Interacting with CLP() (II) Up: Adding Computation Domains: CLP Previous: Linear (Dis)Equations: CLP()

Interacting with CLP($\Re$) (I)

  $\mbox{$\bullet$}$
CLP($\Re$) can solve linear (dis)equations:
?- 4 - Y = 3.
Y = 1
?- X = 3*Y - X/2, X+Y = Y - 4*X + 7.
Y = 0.7, X = 1.4

  $\mbox{$\bullet$}$
Sometimes giving a uniquely defined solution is not possible:
?- X+Y <= 7, X-Y >= 8, X+3*Y = -8*Y-2*X.
X = -3.66667*Y, Y <= -1.71429, -2.625 <= Y

(i.e., $ -2.625 \leq Y \leq -1.71429, Y = - \frac{X}{3.66667}$)



Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>