XSB Src (SVN)-old

Removed sections on eager incremental tabling from manual.

Fixed bug in abolishing incremental tables. If an incremental table is abolished, but its space is not reclaimed, the various affects and dependency
links that include that table need to be performed at the time the abolish is called -- and not at the time of space reclamation, as had been
done. In fact, sometimes these dependencies were *never* reclaimed, so that there were pointers to a table whose space had been reclaimed --
which could easily lead to core dumps.

Checkpoint of working copy. Changes include removal of dead code, better documentation, and some additions for debugging.

Commented out calls to eager incremental tabling.

Changes in incremental test suite to get rid of eager incremental tabling, which cannot be made safe w.r.t. abolishes (at least, not easily).

Fixed isa/2 to handle parameterized types better.

Test for dangling pointers when abolish_table_call is used with transitive abolishes.

Small cleanup of abolish_table_call_internal. This predicate backtracked thrugh all calls that unify with a given input term, abolishing each one.
To do this, it uses get_calls, which collects a list of pointers to such tables.

However if one of the tables on the list depends on another via the SLG delay list, and if transitive abolishes are done, the latter table
may be abolished, while a pointer to it is still in the list. So, with transitive abolishes, each pointer must be rechecked to make sure its safe.

Fixed bug i abolish_table_call w.r.t. transitive abolishes.

More tests for transitive abolishes at the pred. level.