XSB Src (SVN)-old

biassert.c -- minor doc change

Others: changes to allow directives to change tables among
incremental, nonincremental, and opaque.

Added a test of various kinds of tabling and dynamic directives.

Expanded to test of error-checking.

Fixes for better error handling by table/1 including throwing a
permission error on an attempt to table static, non-tabled code.

Forgot to commit these when expanding predicate property for various
types of tabling.

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.