table/1¶

table( + P )*

Declares predicate P (or a list of predicates P1,..., Pn or [ P1,..., Pn]) as a tabled predicate. P must be written in the form name/arity. Examples:

 :- table @ref sonU2fU_3 "son//3" 3.
 :- table @ref fatherU2fU_2 "father//2" 2.
 :- table @ref motherU2fU_2 "mother//2" 2.

or

 :- table @ref sonU2fU_3 "son//3" 3, @ref fatherU2fU_2 "father//2" 2, @ref motherU2fU_2 "mother//2" 2.

or

 :- table @ref U5bUsonU2fU_3 "[son//3" 3, @ref fatherU2fU_2 "father//2" 2, @ref motherU2fU_2 "mother//2" 2].