:- volatile +PredSpecs
Declares PredSpecs to be volatile. Clauses of volatile predicates are not saved by the ‘save_*’ predicates.
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.