XSB Src (SVN)-old

Slightly modified how keyboard interrupts are handled. In subp.c it
seemed that the embedded call to signal got lost, so XSB could only
intercept one keyboard interrupt and thereafter would abort. xcallxsb
was changed to treat keyboard interrupt and treat it as an abort.
Abort is returned to the c-caller simply as failure.

Added definitions to imporve tracing of phrase and tphrase builtins.

Made the error reporting in name/2 report the value of non-variable arguments
when it aborts.

Change to functor/3 to handle core dumps when functor(X,1,2) is
called. The change passes the testsuite and fixes an outstanding bug
on the tracker. In addition, I tested it with about 30 combinations,
ensuring it had the correct behavior (I did not make this into a
script since correct behaviour often involves one or another sort of
error).

Hopefully I didnt break anything. Despite Kostis' good coding, the C
code for functor is complicated, due to the many cases which it must
handle. The specific changes are documented in the file.

* fixed ProfileLeader dependence on LOCAL_EVAL

adjusted declaration of StrArgBuf to the changed declarations in
emu/varstring_xsb_h

*** empty log message ***

I guess I forgot to check in the object file after adding for/3.

Fixed bug in for with first lim greater than second. (I thought I'd
tested that sucker :-(.

Added definition of for/3: for(I,Lim1,Lim2), which causes I to be
bound to all integer values from integer Lim1 to integer Lim2 (with
either being the larger.)