The following materials are available from the Complog summer school lecture "Tabling for Non-Monotonic and Quantitative Reasoning.

• Class notes (compressed and uuencoded) ftp.
• Overview of Tabling in XSB (from the XSB manual, ompressed and uuencoded) ftp.
• Programs for running exercises in the XSB manual: table_examples.P, dyn_examples.P, cyl.P, tree1k.P
• Programs for running other exercises
• demo.P a meta-interpreter for the well-founded semantics with explicit negation
• gap.P a simplified meta-interpreter for Generalized Annotated Programs.