Mu-Prolog still running out of memory

[kplee@cs.adelaide.edu.au (Kiew Puan Lee)]

Mu-Prolog is still running out of memory for me and there are many times 
when it does that even when it hasn't encountered large rules. Brad mailed
you last time about this and you said to factor out the premises so that
the rules are not too large. I'll send you a file straight after this that
has Mu-Prolog runnuing out of memory at the 7th rule which has only 5
premises. Besides, it actually got to the 19th rule last time before
running out of memory (I've since made the 19th rule smaller). The places
at which Mu-Prolog runs out of memory is inconsistent sometimes going past
certain rules without any problems but sometimes not. Can you suggest what
to do?

--------------
Kiew Puan Lee                           kplee@cs.adelaide.edu.au