starting prolog