Binary_condition
object that succeeds if eq<-left and eq<-right
evaluate to the same numeric value. See class binary_condition
for details.
Besides acting as a simple test, it can also solve equations with a
single variable. See eq<-var.
?- get(4+x=7, var, x, X) ==> X = 3 ?- get(5*x=y, var, y, x=3, Y) ==> Y = 15
Note that x, y, w, h
and some more are the names of predefined
var objects and thus x
is translated to this var
object by PCE's type-checking system. The binding of the var
objects in an = object are not affected by this method.