XSB Src (SVN)-old

Minor clarification on form of library_directory directory names.

Fix minor typo.

Modified abolish_table_pred to support the deletion of multiple subsidiary
tabled predicates generated by table_index. Done through a recusive loop
(not failure driven loop) to avoid a bug in abolish_table_pred
(when abolishing cascades.) This might be reconsidered when that bug is
tracked down.

Fixed implementation of table_index directive.

Add forall/3 (and 4, which will need documentation) as quantifier.

Some long-overdue code cleanup/simplification, and one minor change to
restrict loading (under import) of non-suffixed files to be only directories.

Added forall/2 (and 3,4) as quantifiers in excess_vars so it finds
free variables correctly.

Change expected answer for one test to be an abort,
since new fix of get_ret_psc overflow changed its results.

Fixed overflow in get_psc_ret when N is greater than arity.
Fixed the failure in test_large_tabled_terms that it was causing
(but it caused another test there to fail. Will fix it.

New correct outputs after changes in importing and other psc flags
causes predicate_property to give newer (and hopefully more reasonable)
output for new "unknown" predicates.