XSB Src (SVN)-old

small rewarding

Tanya fixed makefiles to not be gnu-make dependent.

Added a little documentation about the need to trail in certain SLGWAM
instructions.

Eliminated the indirection of *asynint_ptr and to directly use
asynint_val. (Also a minor bug-fix in ptoc_longstring.)

I modified slightly the way interrupts are handled. There had been a
couple of mechanisms, and I tried to consolidate them. I elimitaed
call_intercept and merged it in with *asynint_ptr. Now the keyboard
interrupt can be used for C-user-defined interrupts. There is a new
variable asynint_code that can be set when an interrupt is signaled.
It is set to 0 by the system signal catcher. To generate a
user-defined interrupt, you need to set the KEYINT_MARK bit of
*asynint_ptr and set asynint_code to your integer code. Then when
this interrupt is fielded, it will call the keyboard interrupt handler
(set by set_inthandler imported from loader) which is a two argument
predicate. When it is called, the first argument will be the goal to
call when continuing out of the interrupt; the second argument will be
the value of asynint_code.

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