XSB Src (SVN)-old

Added tabled(variant) and tabled(subsumptive) to predicate_property/2.

Added tests to make sure incremental declarations (as opposed to
directives) work properly.

Various changes to allow predicate_property determine whether a
predicate is opaque.

Changes to allow psc_get_incr/2 to find out whether a table is
declared opaque.

Added opaque to predicate property.

Addition of documentation for incremental tries and for predicate
property 'incremental'.

1) Fixed dynamic as so that it is accepted as an executable directive.

2) Added 'incremental' as a predicate property.

3) Minor change to use_incremental tabling (won't core-dump on a non-comma list)

added test case for incremental tabling where no clauses are initially
present for a predicate declared as incremental in a file.

Fix to an incremental tabling bug in which incremental tabling was not
performed properly if a predicate was declared incremental and dynamic
in a file, but no clauses were present for the predicate.

Another missing declaration for aggregate transformation, this time for delete_return.