volatile/1
declaration:- volatile
+PredSpecs
Declares PredSpecs to be volatile. Volatile predicates are not
saved in QOF files by Prolog save
predicates.
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.
instantiation_error
type_error
permission_error
Whether PredSpec is
volatile can be checked with predicate_property/2
.
The properties, as well as the predicate, can be deleted with abolish/1
.
PredSpec clauses are saved by qpc
.
see examples under initialization/1
.
initialization/1
,
save_program/[1,2]
,
save_modules/2
,
save_predicates/2
ref-sls-igs-vol