[ 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).
See Also
abolish / 1, dynamic / 1