From The Twelf Project
Jump to: navigation, search

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.

See also