7.4 Tabling predicate reference
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Tabled execution (SLG resolution)
        • Tabling predicate reference
          • table/1
          • current_table/2
          • abolish_all_tables/0
          • abolish_table_subgoals/1
    • Packages
Availability:built-in
Sourceabolish_all_tables
Remove all tables. This is normally used to free up the space or recompute the result after predicates on which the result for some tabled predicates depend. Raises a permission_error when tabling is in progress.