XSB Src (SVN)-old

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.

Escaped all backslashes (in quoted strings) that weren't escape characters themselves.

Doubled necessary back-slashes in strings.

Change \ in atom names to \ as necessary to conform to ISO standard.

added a paragraph about the correspondence between MiniZinc types and XSB terms.