XSB Src (SVN)-old

Minor fixes:
term_new do better with the list psc.
intern_termhash has option to fail if not termhash code.
compare differentiates terms with same functor in different modules.

More tests for prolog_db, and their right answers.

Many changes: more predicates, a number of bug fixes. Now supports
both regular representation and interned-term representation (with
intern_termhash.)

This commit is improve support for interned terms.

biassert.c: minor type declarations

builtin.c: modifications to builtin intern_term to better support
intern_termhash and fix extra space alloc bug. changed to use string
name to encode intern term address for intern_termhash representation.
Allows such termhash codes to be embedded anywhere and GC should find
and mark the necessary structures.

cell_xsb.h: minor change to isinternstr0 macro to allow intern space
GC

debug_xsb.c: very minor fixes

error_xsb.c: Minor change to all xsb_log to be used in general, not
just used file logging

findall.c: Fixed obsolete tests for interned structures. Also added
marking of intern term where nec.

gc_mark.h: Added code to mark intern space during string GC

hashtable_xsb.c: included struct_intern.h to give access to macros for
gc intern space marking

heap_defs_xsb.h: Expanding mark_string macros to mark interned term
space.

heap_xsb.c: Added call to intern space reclamation when gc-ing strings
(too)

io_builtins_xsb.c: included struct_intern.h to give access to macros
for gc intern space marking

io_builtins_xsb_i.h: minor (unrelated) charset cleanup

struct_intern.h: new declarations to support intern space GC, better
documentation, slight change of static data structure to require less
static space and allow large arity structs to be handled.

struct_intern.c: Support for GC reclamation of unneeded intern space
and use of reclaimed space when available. Support for interning
large arity terms (not great but probably good enough.) Code to
support string name encoding of address for intern_termhash
representation.

Added a new test for set_predicate_property/2 and altered tests to new values for predicate_property.

Added set_predicate_property/2.
Modified some of the values of predicate_property to be more consistent with table declarations.

Added set_predicate_property and small changes to predicate_property.

Accommodating changes to predicate_property/2, but also checking a number of new cases.

Changed semantics of predicate_property/2 w.r.t. tabling properties to make things more
consistent and hopefully clearer. Also restructured the code of this predicate.

Took care of the cases of

table p/1 as dynamic

that I could locate -- there may be more.