XSB Src (SVN)-old

Moved print stacks from main set of builtins to table_inspection primitivies

Changes to move some engine debugging builtins out of main set of
builtins, and into table_insepection builtins.

Documented total_memory and trie_asserted keys for statistics/2.

Took out unnecessary clause in statistics/2.

Major rewriting of transitive closure for transitive abolishes -- so far only integrated into subgoal abolishes and not predicate abolishes.
While transitive closure is not hard to write, the links within the residual program are quite complicated, so that once I got the link traversal
mostly correct, I had to restructure my dfs-based transitive closure. It should now be more correct when there are complex paths involving
both positive and negative links.

Hopefully this will be most of what is needed at least for the transitivity check, although there may be an optimization or two I can add.

Fixed minor issue in the new predicte, abolish_table_subgoal (no s).

Took a pass through the table_builtins.tex to update outmoded
explanations and rewrote parts of the table abolishing sections.

making abolish_table_subgoal(s) standard.

Added abolish_table_subgoal and abolish_table_subgoals

Apparently this wasn't i svn.