volatile/1
[declaration]:- volatile
+PredSpecs
Declares PredSpecs to be volatile. 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.
type_error
context_error