%querytabled

From The Twelf Project
Jump to: navigation, search

The %querytabled directive starts a query using Twelf'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