Pengine and Prolog scratchpad