%querytabled

From The Twelf Project

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.

[edit] See also

• Tabled logic programming
• Tabled Logic Programming in the User's Guide

Twelf keywords

---

%. %abbrev %assert %block %clause %covers %define %deterministic %establish %freeze %infix %prefix %postfix %mode %name %prove %query %querytabled %reduces %solve %subord %tabled %terminates %thaw %theorem %total %trustme %unique %use %worlds