next up previous contents index
Next: Table declaration Up: Directives Previous: Initialization   Contents   Index

Dynamic declaration

A predicate is either static or dynamic. Static predicates cannot be updated during execution. Dynamic predicates are stored in consulted form which can be updated during execution. Predicates are assumed to be static unless they are explicitly declared to be dynamic. To declare predicates to be dynamic, use the following declaration:

		  :-dynamic Atom/Arity,...,Atom/Arity.



Neng-Fa Zhou
1999-11-24