XSB Src (SVN)-old

Fixed all un-escaped backslashes in strings; Sorted mode output for consistency.

Updated use of term_variables.

fixed term_variables usage.

Fixed bug in excess_vars' handling of attributed variables.

Changed to import term_variables_swi from swi and use it instead of term_variables.

Changed from defining term_variables to importing term_variables_swi from swi and using it.

Doc new options for read_term, and answer subsumption for dynamic predicates.

Escaped backslashes in strings as necessary.

Escaped backslashes in strings as necessary.

Escaped backslashes in strings as necessary.