XSB Src (SVN)-old

renamed swi:term_variables/2, so it won't clobber XSB's standard predicate
don't let makexsb clobber xasp.h, which is a required file (it seems)

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