XSB Src (SVN)-old

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.

minor