XSB Src (SVN)-old

Changed my mind. Now a Mod:Term term in a structure (not in predicate
positions) is left as Mod:NTerm, where Term is transformed to
NTerm. So the module modifier is left alone and does not affect the
Term. This is what the compiler would do.

committed recompiled xwams

Fixed bug in load_dyn on converting terms of form A:B.
Current convert B to module A and return it if both bound.
Just pass thru of either a variable.
This might cause problems, but seems best to me at the moment.

Commit changed xwam files. (Some compiler change seems to have changed the
order of the symbol table in the xwam files.)

CHeck in all changes xwams (Some compiler change potentially changed
the order of symbol table, I believe.)

Fixed a bug in load_dyn in handling of ?- commands in usermod.

Added new test of get_idg_info.

See previous commit for overview.

increval: Code cleanup˜.

tables: get_call/4 and improved version of get_idg_info that includes incr dyn leaves.

get_call/3 --> get_call/4

Continuing to expland IDG reflection to include dynamic leaf
nodes. These nodes dont have subgoal frames, but do have
callnodes, so I've been chaning how pointers are passed around in
several places. Eventually, I want all the SF-based IDG
traversal routines to be Callnode based, but this will take
another day or so.

Added get_call/4, which now also returns a pointer to the
callnode. get_call/3 is now defined in terms of that predicate.

Added immediate_affects_callnode_ptrlist which finds the
callnodes of all subgoals an incremental subgoal affects.

Documented various cases of table_inspection_predicates, and
commented out some code that is no longer used.