XSB Src (SVN)-old

Forgot to update xwam.

Fixes to make incremental tabling work properly when opaque is
switched to incremental. I had made a fix to predicate_property to
distinguish incremenel from opaque that apparently broke things.

Updated for changes to predicate property. It now does not report
'tabled' for dynamic incremental predicates.

Fixed bug I introduced when going from tabled/1 to constants. It now returns both tabled and variant or subsumptive, if appropriate.

Updated these to reflect the new form of predicate property (returning
constants and not tabled/1.

Overriding warnings for 'predicate tabled but not defined' for system
predicates that begin with _$. This helps Flora, and shouldn't hurt
anyone else.

Fixed bug in predicate_properties where predicates were incorretly
being reported as tabled.

Was incorrectly computing the size of the read_canonical space.
Had forgotten to multiply the number of records by the size of each
record on freeing the space.

Forgot to update the xwam file.

Backing out a change where predicate_property returned tabled(_). The
problem was that due to XSB's module system the structure was not
exported from curr_sym.P making it exteremely confusing to use. predicate_property is now returning tabled and or variant and/or subsumptive.