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 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.