bound

BAP Online Manuals : Library Reference : Library by Name : bound
Previous: beep
Next: call

6.2.13. bound

tests whether its argument is currently instantiated

SYNOPSIS

bound(Var)

SYNTAX

 bound(Var) (i)

ARGUMENTS

void(Var) (i) Term to be tested.

DESCRIPTION

This is a standard prolog built-in. Bound() succeeds if its argument is currently bound anything, fails otherwise.

NOTE: nonvar () does just the same.

ERRORS

No runtime errors.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

free , nonvar , var , unbound


BAP Online Manuals : Library Reference : Library by Name : bound
Previous: beep
Next: call