Compile Time Garbage Collection for Ground Prolog