:- 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 section 7.7.
- 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.
- Local is one of
local. See also thread_local/1.
- Set the corresponding property. See multifile/1, discontiguous/1 and volatile/1.