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

A Metainterpreter for Explicit Negation

Do explicit negation metainterpreter.



David S. Warren
1999-07-31