Availability:built-in
dynamic(:ListOfPredicateIndicators,
+Options)As dynamic/1,
but allows for setting additional properties. This predicate allows for
setting multiple properties on multiple predicates in a single call.
SWI-Prolog also offers the XSB compatible :- dynamic (p/1)
as (incremental,abstract(0)).
syntax. See the introduction of section
4.15. Defined Options are:
- incremental(+Boolean)
- Make the dynamic predicate signal depending tables. See
section 7.7.
- abstract(0)
- This option must be used together with
incremental
. The
only supported value is 0
. With this option a call to the
incremental dynamic predicate is recorded as the most generic term for
the predicate rather than the specific variant.
- thread(+Local)
- Local is one of
shared
(default) or local
.
See also thread_local/1.
- multifile(+Boolean)
- discontiguous(+Boolean)
- volatile(+Boolean)
- Set the corresponding property. See multifile/1, discontiguous/1
and volatile/1.