:- volatile +PredSpecs
Declares PredSpecs to be volatile. Clauses of volatile predicates are not saved by the ‘save_*’ predicates.
pred_spec_forest, must be ground
A predicate specification, or a list of such, or a sequence of such separated by commas.
Exceptions in the context of loading code are printed as error messages.
PredSpecs not ground.
PredSpecs not a valid pred_spec_forest.
Some arity is an integer < 0.
Some arity is an integer > 255.
Declaration appeared in a goal.
Declaration appeared as a clause.