Declares an entity and its contents as dynamic. Dynamic entities can be abolished at runtime.
Some backend Prolog compilers declare the atom
dynamic as an operator
for a lighter syntax, forcing writing this atom between parenthesis
when using this directive.
Template and modes