Table declaration

A tabled predicate is a predicate for which answers will be memorized in a table and 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.