PROLOG initialization