XSB Src (SVN)-old

Test for cycle checking in tabled calls.

Changes to allow checking of cyclic terms in tabling and subgoal size at different times.

Updates to allow cycle checks and subgoal size checks at different times. Also, put in stub for table call size tripwire (suspension).

Fixed bug in abolish/1 introduced when I added :- immutable.

Minor fix to avoid throwing error (and just failing, as desired)
in atom_to_term/2.

fixed references in the manual
committed asm.xwam, which seems to have been an old version

Forgot to commit.

Changes for tripwires w.r.t. prolog flags and added printing routines
for SDGs.

Added a new test of SDG printing and fixed a bug in SDG morphisms.

A few updates to inspection.tex, although there is plenty left to do.