Letting XSB Decide What to Table

Other tabling declarations are also provided. Often it is tedious to decide which predicates must be tabled. To address this, XSB can automatically table predicates in files. The declaration auto_table chooses predicates to table to assist in termination, while suppl_table chooses predicates to table to optimize data-oriented queries. Both are explained in Section 3.10.2. ^5.1.