nonvar
BAP Online Manuals : Library
Reference : Library by Name
: nonvar
Previous: nl
Next: not
BAP Online Manuals : Library Reference : Library by Name : nonvar
Previous: nl
Next: not
Previous: nl
Next: not
6.2.89. nonvar
tests whether its argument is currently instantiated
SYNOPSIS
nonvar(Var)
SYNTAX
nonvar(Var) (i)
ARGUMENTS
void(Var) (i) Term to be tested.
DESCRIPTION
This is a standard prolog built-in. Nonvar() succeeds if its argument is currently bound anything, fails otherwise.
NOTE: bound () does just the same.
ERRORS
No runtime errors.
LAYERS
prolog-process, client-server, object
RELATED PREDICATES
BAP Online Manuals : Library Reference : Library by Name : nonvar
Previous: nl
Next: not