11.3.250 volatile/1   declaration

Synopsis

:- volatile +PredSpecs

Declares PredSpecs to be volatile. Clauses of 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

Exceptions in the context of loading code are printed as error messages.

instantiation_error

PredSpecs not ground.

type_error

PredSpecs not a valid pred_spec_forest.

domain_error

Some arity is an integer < 0.

representation_error

Some arity is an integer > 255.

context_error

Declaration appeared in a goal.

permission_error

Declaration appeared as a clause.

See Also

Volatile Declarations.