XSB Src (SVN)-old

Fix introduced bug for atomic predicate spec.
Also now support titles(N), titles=N, pad(N), pad=N as options.

Changes to allow incr dyn leaves to show up in immed_depends, along with some changes
of old names that now dont make much sense.

Export search_file for use elsewhere (now proc_files.)

Fixed spurious warning when loading dynamic/opaque predicaes.

New version of proc_files. Significantly refactored to make code
more orthogonal and more provide consistency among functionalities.
Added error option to throw errors instead of give warnings.

Changed string hash function. Made simpler, and perhaps better distribution.
Speeds up some programs with *lots of* strings significantly.

Fixed problem with next_prime(). Someone wrote the bound condition
incorrectly, so the hash table never was expanded beyond 4 million or
so, although it was repeatedly cheked.

Added new test to cover a bug in get_call with dynamic incremental facts.

I always forget one.

Rearchitecting the way that incremental dynamic facts are stitched into the IDG. This helps pave the way for better
diagnosis and debugging of incr tabled programs, since if you cant see the IDG you're limited.

Along the way I came across a bug in get_call which make it inconsistent with get_calls and also made a core dump theortically possible.