Memory problems when using Typol typechecker

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

Hello,
 I have been occasionally getting the Mu-Prolog out of memory message
 whilst type checking a typol definition. It usually occurs on 
 a particuarly large inference rule. When the rule is moved the 
 problem moves. 

 Are large rules (approximately 10 premises) prone to using up 
 large amounts of memory (i.e. greater than 1 megabyte) during 
 type checking or is it likely that other factors (such as the number
 of sets declared and judgments imported) are the main users of
 memory?

 I can fix the large rules easily but I might find it hard to reduce
 the number of judgements and sets.

 Thanks,
  Brad