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.