11.3.243 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.