XSB Src (SVN)-old

Making a test that depends on gensym more stable.

Took off the 'privatizer' for byte-code filenames for all (I hope) messages.

Rename private xwam if command throws an error on load; add a cut to a first efficiency clause in subsumes/2.

Updates for incremental, subsumptive tabling.

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