Re: Mu-Prolog: out of memory

[td@almeria.inria.fr (Thierry Despeyroux)]

The MU-Prolog stack is fixed at compiled time. By default its size is
GSTKLEN=600000. To increase the size of this stack you have to generate
a new Centaur. The procedure is described on page 7 of "Installing and
Customizing Centaur".

If you are using GNU-make, be carreful as some versions will not recompile
the MU-Prolog code properly. All the MU-Prolog code must be recompiled
when changing the size of the stack. Check (with ps) the size of a running
Centaur before and after reconfiguration. It must encrease.

Thierry

-- 
Send contributions and compliments to centaur@sophia.inria.fr. Registration
and administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+