next up previous contents
Next: Meta-Interpreters in XSB Up: Programming in Tabled Prolog Previous: General Negation

Meta-Programming



 

David S. Warren
1999-07-31