XSB Src (SVN)-old

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.

Apparently also forgot to add these...

Forgot to add these earlier.

Updated tests for new version of transitive abolishes.