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:
- Make the dynamic predicate signal depending tables. See
- This option must be used together with
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.
- Local is one of
shared (default) or
See also thread_local/1.
- Set the corresponding property. See multifile/1, discontiguous/1