finished packagetizing minizinc
more work on minizinc
initial version of minizinc interface
Minor changes to fix support of explicit modules in assert/retract.
Fix bug in retracting clauses with atomic bodies.
Fixed bug in listing/1 for atoms.
Yet another try to fully support *dynamic* aggregate predicates.
Added 'hook' to allow dynamic predicate to be 'renamed'.
Added catch in read_term to clean up global flags in case of error.
Fixed bug in handling dynamic aggregate predicates.
