XSB Src (SVN)-old

Tests modified to support changes in previous updates

Testing changes to support new and changed functionality of previous ubdates.

Many changes to code that adds answers to tries, and that interns
terms to tries.

* Changed answer depth metric to answer size metric. This improves
the speed of adding answers and lays the groundwork for
functor-specific (size) limits. Changed the names of the flags as
well (depth-> size)

* Made answer terms and lists use the same depth limit. This helps
unify code, and later we will be able to weigh list and non-list
functors differently.

* Redid size checks so that cycle checking is always done, even if
max_table_answer_size is not set. (By default, when the size
reaches 400). Also updated checks in trie_intern to do the same.

* Took out failure and warning actions, which weren't of much use.

* Added stubs for tripwires when an answer exceeds size limit.

* Fixed bug where lists in large answers were not being properly
abstracted.

* Changed lots of variable, macro, and function names to support
better maintenance. Updated some, but by no means all documentation
in the manual.

Many changes to code that adds answers to tries, and that interns
terms to tries.

* Changed answer depth metric to answer size metric. This improves
the speed of adding answers and lays the groundwork for
functor-specific (size) limits. Changed the names of the flags as
well (depth-> size)

* Made answer terms and lists use the same depth limit. This helps
unify code, and later we will be able to weigh list and non-list
functors differently.

* Redid size checks so that cycle checking is always done, even if
max_table_answer_size is not set. (By default, when the size
reaches 400). Also updated checks in trie_intern to do the same.

* Took out failure and warning actions, which weren't of much use.

* Added stubs for tripwires when an answer exceeds size limit.

* Fixed bug where lists in large answers were not being properly
abstracted.

* Changed lots of variable, macro, and function names to support
better maintenance. Updated some, but by no means all documentation
in the manual.

Need this file for test_fl_analyze_scc.

Took out term_abstract (code is now in tables.P)

Minor change to print out "Unhandled Exception" message when the
programmer throws an unrecognized ball, but provides no user error
handler. (There may be a better way to do this, but just a quiet
return to top level in this case seemed not very helpful to the user.)

fixed indexes in the manuals. use imakeidx instead of index - a much better package
that dosnt require convoluted shell scripts.

Changing variable names, to help distinguish similar trie code for subgoals, answers, and asserted tries.

Changed a few macro names for clarity.