:- volatile +PredSpecs
Declares PredSpecs to be volatile. Volatile predicates are not
saved in QOF files by Prolog
A built-in prefix operator, so that declarations can be written as e.g.
:- volatile a/1, b/3.
callable both at compile-time and run-time. In both cases the predicate specified will, with immediate effect, be declared as volatile.
When used as a compile-time directive, the volatile declaration of a predicate must appear before all clauses of that predicate. The predicate is reinitialized.
When used as a callable goal, the only effect on the predicate is that it is set to be volatile.
Whether PredSpec is
volatile can be checked with
The properties, as well as the predicate, can be deleted with
PredSpec clauses are saved by
see examples under