bound

[This is preliminary specification and subject to change.]

Group

Prolog predicates (more...)

Type

determ

Syntax

bound( TERM )

Flow patterns

(i)

Description:

Test whether a variable is bound to a value
The bound predicate succeeds if Variable is bound. The bound is used to control flow patterns and the binding of reference variables.

Sample:

No sample