SWI-Prolog -- table/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(tabling): Tabled execution (SLG)
      - Tabling predicate reference
        
        table/1
        
        abolish_all_tables/0
        
        abolish_table_subgoals/1
        
        About the tabling implementation
        
        Status of tabling
- Packages

Availability::- use_module(library(tabling)).(can be autoloaded)

table +PredicateIndicators

Prepare the given PredicateIndicators for tabling. Can only be used as a directive. 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 about tabling.