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.