Did you know ... Search Documentation:
binary_expression<-value
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.

Tags are associated to your profile if you are logged in
Tags: