XSB Src (SVN)-old

in makexsb.in, make sure that dynmodule is not run if we are doing makexsb clean.

Handle special characters in modules (in builtin calls), and add type to quite compiler.

Updated expected output for test of not_exists.

Updated implementation of not_exists.

Don't compile with modeinfer.

Update/improve CR's groundedness mode checker/inferencer and make all compiler modules compliant. Also update the Makefile so remaking the compiler invokes the mode checker/inferencer.

Added non-opt compile around a cryptic warning.

Increased maximum number of indexes allowed on a predicate, and issue warning if max is exceeded in an assert.

Fixed dynamic import (builtin) to handle quoted module names (and so handle non-parameterized modules). Also fixed innocuous typo in loader.

Fixed some code rot for the MT engine.