XSB Src (SVN)-old

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

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