XSB Src (SVN)-old

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...

* 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...

Major change: changed abolish_all_tables so that it reclaims space for incremental tabling
data structures -- it hadn't been doing this before (much). This uncovered some other bugs. I fixed
those in the test suite, but there may be some others around.

Moving a partial fix to linux, for better debugging.

also, rectified a few names.

Took out a debugging printf.

Forgot these. Added a bit field that allows incremental tries to be identified from within their callnode.