ADDED: Use new memory limitation feature of SWI-Prolog.