tests whether its argument is currently instantiated
void(Var) (i) Term to be tested.
This is a standard prolog built-in. Nonvar() succeeds if its argument is currently bound anything, fails otherwise.
NOTE: bound () does just the same.
No runtime errors.
prolog-process, client-server, object
bound , nonvar ,
var , unbound