XSB Src (SVN)-old

1. Packages:
disabled compilation of xasp and xmc -- lots of errors and warnings.
Somebod should fix those.
2. makexsb now compiles packages also to avoid installation problems

3. minizinc: streamlined deletion of temp files

more error checking for different solvers

Added perm/2 for permutation. Fabrizio pointed out it was in manual but not in basics. So added it.

added delete/3

more error checking, added delayed version of minizinc (if input params are not ground)

added mzn syntax checks

finished packagetizing minizinc

more work on minizinc

initial version of minizinc interface

Minor changes to fix support of explicit modules in assert/retract.