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

  $\mbox{$\bullet$}$

Non-linear arithmetic terms are delayed until they eventually become linear

?- X = sin(3*X).
X = sin(3*X).

?- X = sin(3*X), 3+4*X = Y.
X = 0.25*Y - 0.75, X = sin(0.75*Y - 2.25)

?- X = sin(3*X), 3+4*X = Y, 5*Y-7*X = 15.
Y = 3, X = 0

  $\mbox{$\bullet$}$

Equations can also be set up by a program