XSB Src (SVN)-old

Clarified documentation of dynamic/1 and table/1.

Factored out old tabled aggregate stuff as it is (mostly if not
completely) overridden by the new answer subsumption format.

Changes to get rid of explict descriptions of bagPO/filterPO. etc.

Also inclusion of PITA

change to allow opaque tables to depend on incremental tables.

Changes to allow predicate property to report variant and
subsumptively tabled predicates.

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.