The memory management of PROLOG implementations