11.3.237 (volatile)/1 [declaration]

Synopsis

:- volatile +PredSpecs

Declares PredSpecs to be volatile. Volatile predicates are not saved by the `save_*' predicates.

Arguments

:PredSpecs
pred_spec_forest, must be ground

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

Exceptions

type_error
context_error
“declaration appeared in query”

See Also

Volatile Declarations.


Send feedback on this subject.