XSB Src (SVN)-old

Adding abolish_incremental_table_single/1 as a Prolog predicate (though its probably best used in libraries, rather than
for general use.

Created abolish_incremental_tables_single, mostly for internal use.

It turned out that when throwing over incremental tables, not all stuff was being cleaned up and we would sometimes
get core dumps. Replacing abolish_incr_table in throw with abolish_incremental_table_single fixes the bug.

Took out spurious hashtable_destroy. Shouldn't make a difference, but it shouldn't have been there.

clarifications, typo fixes

Added documentation for abolish_nonincremental_tables/1.

Adding abolish_nonincremental_tables.

Adding abolish_nonincremental_tables/1.

forgot to add...

test added for abolish_nonincremental_tables/1.

Fixed outstanding bug in incremental tabling. Structure managers required a structure to be at least 2 words long, but smKey structures were 4 bytes.
So I redefined the size of KEY structures to be 4/8 bytes on 32/64 bit machines, and created a SM_DeallocateSmallStruct that handles structures of 1 word.
Regular structure managers still require 2 words.