next up previous contents
Next: A Metainterpreter for Explicit Up: Meta-Interpreters in XSB Previous: Meta-Interpreters in XSB

A Metainterpreter for Disjunctive Logic Programs

Do disjunctive LP metainterpreter



David S. Warren
1999-07-31