• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

4.15 Declaring predicate properties
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Declaring predicate properties
          • dynamic/1
          • dynamic/2
          • compile_predicates/1
          • multifile/1
          • discontiguous/1
          • public/1
          • non_terminal/1
    • Packages
Availability:built-in
Sourcedynamic(: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.
ClioPatria (version V3.1.1-51-ga0b30a5)