Centaur-Barcelona

[mylonakis@lsi.upc.es (Nicos Mylonakis)]

We are working with type inference in functional languages. We have made a test with a little subset of ml. When we execute the TYPOL program that implements
type inferring we have got an error that says:
MU-Prolog out of memory.
We have tested centaur using as the first parameter 60, 100 and 150, that is
centaur 60, centaur 100 and centaur 150 (9.6 Mb of lists zone!) obtaining
similar results.
This error is shown after 4 or 5 minutes of computation. The program is not large nor complex, so we find this error strange.
We feel that comes from the memory that manages MU-Prolog which is independent
of the first parameter mentioned above.
What can we do to enlarge this memory ?
If this is not the question or if this is not possible what other solutions
can we take?

Thanks in advance.

Javier
 Perez

Nicos Mylon
           !-akis.