Documentation out of dateLearn more
%tabled
The %tabled directive informs STELF’s tabled logic programming engine to record derivations for a certain type family at most once during a query started with a %querytabled directive. It is therefore a bit like %deterministic in that it changes STELF’s search behavior for a single type family.
See also
Section titled “See also”- Tabled logic programming
- Tabled Logic Programming (guide §5.31)