get_value/2¶

"get_value(+ A,- V" )

In YAP, atoms can be associated with constants. If one such association exists for atom _A_, unify the second argument with the constant. Otherwise, unify _V_ with[]`.

This predicate is YAP specific. `