[ Dynamic Predicates | The ECLiPSe Built-In 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).

## See Also

abolish / 1, dynamic / 1