Documentation out of dateLearn more
%querytabled
The %querytabled directive starts a query using STELF’s tabled logic programming engine, so that instances of a type family marked with %tabled directive will be derived at most once during proof search. It otherwise looks the same as %query.
See also
Section titled “See also”- Tabled logic programming
- Tabled Logic Programming (guide §5.31)