[ 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

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).



See Also

abolish / 1, dynamic / 1