dynamic/1 declaration

Synopsis

:-dynamic +PredSpecs

Declares the predicates in PredSpecs to be dynamic.

Arguments


PredSpecs pred_spec_forest
A single predicate specification of the form Name/Arity, or a sequence of predicate specifications separated by commas. Name must be an atom and Arity an integer in the range 0..255. [MOD]

Description

Exceptions


type_error

context_error

If the declaration contradicts previous declaration or clauses for the same predicate in the file; or

cannot call dynamic/1 as a goal.

permission_error
Cannot redefine built-in predicate, dynamic/1.

Comments

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

See Also

ref-mdb-dsp.