XSB Src (SVN)-old

Initializing VarEnumerator in subsumptive answer search. This is
used to copy in conditional answer information, and will hopefully fix an initialization error detected by valgrind.

Changes to fix a bug in find_components, which is still under development.

Defining use_module/2 in terms of import/2. This makes XSB a bit more
compatable from the command line (compiled code is already handled).

Trying again...

Trying to update exeecution privilege

Trying to change execution privelige

Changes to Makefule to generate predicate index. Also some
adjustments to documentation for new trie model.

One more example of incorrect release size, this time when expanding
the string hash table. Now for the cases I tested, all blocks are freed
with the same length that they were allocated. There is still some
discrepancy with the amount of table space claimed as allocated in statistics
and the amount of space obtained for table_space through mem_alloc (and
friends.) That remains to be accounted for.

Fixed a bug in accounting for mem_dealloc size in a particular case
of table processing. This makes the table space statistics (more) correct.

Fixed a memory leak in tabling: the bucket-array for hashing in tries
was not being released (unless it had been expanded.) There was a test
for larger size than initial, which I removed. I assume this was leak
was probably introduced when the initial bucket-array became independently
allocated (?). With this change, abolish_all_tables and abolosh_table_pred
give back all the memory in my tests.