7.11 Tabling predicate reference
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • Tabled execution (SLG resolution)
        • Tabling predicate reference
          • table/1
          • tnot/1
          • not_exists/1
          • tabled_call/1
          • current_table/2
          • untable/1
          • abolish_all_tables/0
          • abolish_private_tables/0
          • abolish_shared_tables/0
          • abolish_table_subgoals/1
          • abolish_module_tables/1
          • abolish_nonincremental_tables/0
          • abolish_nonincremental_tables/1
    • Packages
Availability:built-in
Sourceabolish_nonincremental_tables
abolish_nonincremental_tables(+Options)
Similar to abolish_all_tables/0, but does not abolish incremental tables as their consistency is maintained by the system. Options:
on_incomplete(Action)
Action is one of skip or error. If Action is skip, do not delete the table.bugXSB marks such tables for deletion after completion. That is not yet implemented.