next up previous contents
Next: A Metainterpreter for Disjunctive Up: Meta-Programming Previous: Meta-Programming

Meta-Interpreters in XSB

Meta-interpreters. How one can write meta-interpreters and table them and get tabled evaluation. I.e. tabling ``lifts'' through meta-interpreters.

Could do XOLDTNF metainterpreter, exponential, but programmable. Probably want to use aggregation.



 

David S. Warren
1999-07-31