XSB Src (SVN)-old

Changed declaration of depth_limit to unsigned to avoid compiler warning.

Support for bounded rationality flag.

Bounded rationality for answer depth (ifdeffed out)

Fixed bug in get_residual when there are a large number of variables in head and/or body. Here's the comment.

/* TLS: Need to set copy_of_var_addr back to addr. Most of
the time, they will be equal, as cova was set to va.
However, var_addr might have been expanded during
load_delay_trie(). If so, then the values will be
different, and the deallocation of cova in the builtin
build_delay_lists will abort */

Forgot to add this one.

Added new bug found by W. May.

Changed sprintf format from 1.18g to g which improvies number/atom conversion.

Added test of number/atom conversion.

There was a problem with slg_not using has_answers
when all answers for a subgoal have been removed via delay
(surprisingly this case had not been tested). So we only want an XXX_ANSWERS tag if the subg_ans_root_ptr is null; otherwise we handle the reclamantion in the else associated with this if...

Took ensure_loaded of term_abstract from loading of tables.P and moved it to load_log_file.