%tabled

From The Twelf Project

The %tabled directive informs Twelf'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 Twelf's search behavior for a single type family.

[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