7.11 Tabling predicate reference
AllApplicationManualNameSummaryHelp

  • 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_all_tables
Remove all tables, both private and shared (see section 7.9). Since the introduction of incremental tabling (see section 7.7) abolishing tables is rarely required to maintain consistency of the tables with a changed environment. Tables may be abolished regardless of the current state of the table. Incomplete tables are flagged for destruction when they are completed. See section 7.9.1 for the semantics of destroying shared tables and the following predicates for destroying a subset of the tables: abolish_private_tables/0, abolish_shared_tables/0, abolish_table_subgoals/1 and abolish_module_tables/1.