11.3.68 dynamic/1   declaration, ISO

Synopsis

:- dynamic +PredSpecs

Declares the clauses of the predicates defined by PredSpecs to be dynamic.

Arguments

:PredSpecs

pred_spec_forest, must be ground

A predicate specification, or a list of such, or a sequence of such separated by commas.

Comments

dynamic is not an ISO predefined prefix operator.

To declare a grammar rule gram/n dynamic, the arity of PredSpecs must be n+2.

Exceptions in the context of loading code are printed as error messages.

Exceptions

Exceptions in the context of loading code are printed as error messages.

instantiation_error

PredSpecs not ground.

type_error

PredSpecs not a valid pred_spec_forest.

domain_error

Some arity is an integer < 0.

representation_error

Some arity is an integer > 255.

context_error

Declaration appeared in a goal.

permission_error

Declaration appeared as a clause.

See Also

Dynamic Declarations.


Send feedback on this subject.