XSB Src (SVN)-old

Added/updated documentation for index/1 option of table as.

Also took out more references to the MT engine. (Sigh)

Changed cryptic warning message:

++Warning[XSB]: [Compiler] **Unknown** : Spurious index declaration: 13 will never be used, because of earlier: 3

to

++Warning[XSB]: [Compiler] ./test_index : In the table ... as ... index declaration index([2, 3, 1 + 3]) for p1/3, the index 1 + 3 will never be used \
because of the earlier index 3

Changed the arity of a cp_opt predicate for better warnings.

Added a check for dyn,index() (there had been one for index(),dyn, but not for the second order).

Added a couple more tests in test_table_index.

Improved testing of :- table _p/_ as index(_).

Implemented index(-) as an 'as' option with subsumtive tables; making table_index declaration form obsolete.

Added recognition of index(_) in table-as set.

compile lists in sysmod.

Eliminate single-use variable warnings.