Next:
Meta-Interpreters in XSB
Up:
Programming in Tabled Prolog
Previous:
General Negation
Meta-Programming
Meta-Interpreters in XSB
A Metainterpreter for Disjunctive Logic Programs
A Metainterpreter for Explicit Negation
Abstract Interpretation
AI of a Simple Nested Procedural Language
David S. Warren
1999-07-31