BAP Online Manuals : Library Reference : Library by Name : nonvar
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

bound , nonvar ,

var , unbound


BAP Online Manuals : Library Reference : Library by Name : nonvar
Previous: nl
Next: not