1.11.3 Get methods

binary_expression <-value: binding== ... -> value=int|number|real

Determine the value of the expression given the values for the var objects appearing in it. Used by class handle and class region. Example:

?- get(x + 5, value, x=3, X).       ==> X = 8

Note: in this example we can simply write x instead of new(X, var(x)) as x is the name of a predefined var object. See class var.

See also =<-var.

binary_expression <-var_in: variable=var -> number=int

Count the number of occurrences of the var object in the expression. Used by = <-var.