A tabled predicate is a predicate for which answers will be memorized in a table, and for which variant calls of the predicate will be resolved by using the answers. The declaration,
:-table P1/N1, ..., Pk/Nk.
declares that the predicates Pi/Ni (i=1,...,k) are tabled predicates.
