[ Dynamic Predicates | Reference Manual | Alphabetic Index ]

is_dynamic(++PredSpec)

Succeeds if the procedure specified by PredSpec has been declared as dynamic.

PredSpec: Expression of the form Atom/Integer.

Description

Used to test whether the procedure specified by PredSpec was declared as dynamic.

Modes and Determinism

is_dynamic(++) is semidet

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

Fails if the procedure specified by PredSpec has not been declared as dynamic.

Exceptions

(4) instantiation fault: PredSpec is not instantiated.
(5) type error: PredSpec is instantiated, but not to an expression of the form Atom/Integer.
(60) referring to an undefined procedure: PredSpec is an undefined procedure.

Examples

Success:
      [eclipse]: assert(p).
      yes.
      [eclipse]: is_dynamic(p/0).
      yes.

Error:
     is_dynamic(X).                (Error 4).
     is_dynamic(a).                (Error 5).
     is_dynamic(y/0).              (Error 60).