XSB Src (SVN)-old

Now calling subsumptive, incremental tests.

Changes to a new test for proper handling of conditional answers with subsumption.

Adding more subsumptive, incremental tests.

New tests for subsumptive + incremental. I had to make a few minor changes, so I did this rather than using the -S option.

typo fix

elseif--> elif in conditional compillation
in prolog-commons/c_arith, replaced succ/2 with a correct definiion

Updated manual to removed incompataibility of subsumptive and incremental (yay!) I'll update the rest of the code soon.
Also took out a number of references to the multi-threaded engine which is no longer supported (sign)

Init c to NULL to be sure always defined.

Last one, I hope!

A bit of spaghetti effect -- need to support a different arity of a call .