Memory usage

[brad@cs.adelaide.edu.au (Bradley Alexander)]

Hello,
       I'm currently using centaur to type check and interpret a
language I have defined using metal and typol. I find that for
medium size programs the execution aborts with the message:

   MU-Prolog: out of memory

   Execution aborted

I intially thought it was due to a problem with my typol rules
but it seems to happen at different points of the program each
time (with the same input data). 

Is there any way to allocate more memory to the system? I tried 
running centaur with the parameter 1000 and it didn't seem to help
a great deal (it used a lot more memory but aborted at about the
same stage of the program).

Are there any problems with space leaks that I could work around?
Or is it simply a matter of finding a bigger machine for bigger
programs (my typol code is reasonably space-efficient).

Thanks,

  Brad Alexander