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
Source:- table(+PredicateIndicators)
Prepare the given PredicateIndicators for tabling. The example below prepares the predicate edge/2 and the non-terminal statement//1 for tabled execution.
:- table edge/2, statement//1.

In addition to using predicate indicators, a predicate can be declared for mode directed tabling using a term where each argument declares the intended mode. For example:

:- table connection(_,_,min).

Mode directed tabling is discussed in the general introduction section of chapter 7.