XSB Src (SVN)-old

Updated tests for new version of transitive abolishes.

Minor changes writing lettervars, and op precedence of +,
and updating xwams, which I hope will now be less variable.

Changed compiler to use internal cmp_gensym, and not global gensym,
which was causing internally generated names (by specialization) to
vary depending on the context of the compile, and making xwams differ
unnecessarily.

Cosmetic change of the name of a macro.

Major change to transitive abolishes for calls. As before, if a
table T_a is abolished, any table T' that has an answer that
depends on T_a or an answer in T_a is abolished. Now, any table
T'' upon which T_a depends (i.e., T_a has an answer that has T''
or an answer in T'' in its delay list) is affected in the
following manner. Any backpointers from T'' to T_a are removed
from the subgoal or answer PNDEs. This means that after table
abolishes, all backpointers from non-abolished tables will remain
valid. (At least, I sure hope so.)

In the first version of transitive abolishes, tables such as T''
were unaffected. However, this left invalid back pointers and
led to core dumps when running Ergo. The next version that was
has been in place for a couple of weeks actually abolished tables
such as T'', but this was too extreme. So hopefully this version
will be just right.

The above changes were in tr_utils.c. The slgdelay* changes were so that remove_pndes could be
used in tr_utils.c

SYSCALL_filecopy was broken (was supposed to return 0 on success and was returning 1). Fixed.
Also added SYSCALL_fileappend, for good measure.
A lot of xwams are showing as having been recompiled. Assuming somebody forgot to do so, so committing them as well.
The testsuite runs except 2 utf8 tests.

Comment out declaration of unused variable (to quiet compiler.)

Changed \x and \<num> (for octal) escapes in strings to allow termination
by first non hex (oct) digit.
Also changed to recognize [] and {} as tokens, so they can appear as functors.

Fixed nasty bug in deleteoutedges, where an iterator value that needed to be reinitialized each time an inner loop was entered wasnt properly reinitialized.

Add condition to properly parse obscure use of infix and prefix op,
e.g., a - - - b. (Thanks, Ulrich. I guess I don't have better things
to do with my life...)