XSB Src (SVN)-old

* In the case where an incremental table cannot be fully abolished
right away, and needs its space reclaimed later when it is safe, a
core dump was happening because of double use of pointers in
Variant subgoal frames. The problem was in freeing ALN lists, and
is fixed.

* In addition, it turned out that incremental tables were not being
properly invalidated when their space reclamation is delayed, so I
put a call to the invalidation function in those branches of the
code.

* Also, added a simple test that elicits the above conditions.

Change to use abolish_table_call.

Commit for debugging under linux.

Relatively minor code refactoring and documentation. Changed some miscellaneous errors to permission errors.

Changes to documentation mostly about table abolishes.

Added exports for various _immed incr predicates.
Since they are documented, they must have been intended to be exported.

Added initialization of trailing pointer (last) to quiet gcc compiler.

* added idb option to statistics/2
* Code factoring of abolishes.
* Removed usages of old, incorrect abolish incr call, replacing with new
* Fixed bugs in reclamining incremental and/or subsumptive tables
during tabled gc (as opposed to initial abolish time), and in
abolish_table_call transitive.

more to come...

* added idb option to statistics/2
* Code factoring of abolishes.
* Removed usages of old, incorrect abolish incr call, replacing with new
* Fixed bugs in reclamining incremental and/or subsumptive tables
during tabled gc (as opposed to initial abolish time), and in
abolish_table_call transitive.

more to come...

* added idb option to statistics/2
* Code factoring of abolishes.
* Removed usages of old, incorrect abolish incr call, replacing with new
* Fixed bugs in reclamining incremental and/or subsumptive tables
during tabled gc (as opposed to initial abolish time), and in
abolish_table_call transitive.

more to come...