Important Prolog Assumptions

For information about memory allocation, see the discussion of PROLOGINITSIZE, PROLOGMAXSIZE and PROLOGINCSIZE in ref-mgc.